View source for skifa

==== valsi ====
skifa
==== type ====
experimental gismu
==== creator ====
[[personal/krtisfranks|krtisfranks]]
==== time entered ====
Sun Sep 18 07:11:37 2016
 
== English ==
=== Definition #68905 ===
 
==== definition ====
x<sub>1</sub> is a logical statement which says that x<sub>2</sub> (du'u) being true logically implies (material implication) x<sub>3</sub> being necessarily true, but in which the converse does not hold (it is certain that there are cases in which 'IFF' fails: x<sub>2</sub> is not necessary for x<sub>3</sub>).
==== notes ====
Strict-'IF'; the truth of x<sub>2</sub> guarantees the truth of x<sub>3</sub> but the truth of x<sub>3</sub> gives no indication about the truth of x<sub>2</sub> (in general). This word is like [[kanxe|kanxe]]. See also: [[sigda|sigda]].
==== gloss words ====

<ul><li>[[natlang/en/IF-but-not-ONLY-IF statement|IF-but-not-ONLY-IF statement]]</li><li>[[natlang/en/strict-IF statement|strict-IF statement]]</li></ul>

==== created by ====
[[personal/krtisfranks|krtisfranks]]
==== vote information ====
0
     
==== time ====
Sun Sep 18 09:09:17 2016



<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===