https://wiki.lojban.io/index.php?action=history&feed=atom&title=skifaskifa - Revision history2026-05-04T20:32:12ZRevision history for this page on the wikiMediaWiki 1.45.3https://wiki.lojban.io/index.php?title=skifa&diff=16867&oldid=prevNalvaizmiku: Import words via API2026-01-13T16:36:12Z<p>Import words via API</p>
<p><b>New page</b></p><div>==== valsi ====<br />
skifa<br />
==== type ====<br />
experimental gismu<br />
==== creator ====<br />
[[personal/krtisfranks|krtisfranks]]<br />
==== time entered ====<br />
Sun Sep 18 07:11:37 2016<br />
<br />
== English ==<br />
=== Definition #68905 ===<br />
<br />
==== definition ====<br />
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>).<br />
==== notes ====<br />
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]].<br />
==== gloss words ====<br />
<br />
<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><br />
<br />
==== created by ====<br />
[[personal/krtisfranks|krtisfranks]]<br />
==== vote information ====<br />
0<br />
<br />
==== time ====<br />
Sun Sep 18 09:09:17 2016<br />
<br />
<br />
<br />
<br/><font size="+1">Examples</font><br />
<hr/><br />
<dl><br />
</dl><br />
<br />
=== Etymology ===</div>Nalvaizmiku