View source for ifletnu

==== valsi ====
ifletnu
==== type ====
fu'ivla
==== creator ====
[[personal/krtisfranks|krtisfranks]]
==== time entered ====
Sat Jul 23 07:44:02 2016
 
== English ==
=== Definition #68844 - Preferred ===
 
==== definition ====
If x<sub>1</sub> (proposition) is true, then x<sub>2</sub> (proposition) is logically guaranteed to be true too, and x<sub>1</sub> is indeed true.
==== notes ====
Valid and sound.
==== gloss words ====

<ul><li>[[natlang/en/modus ponens statement|modus ponens statement]]</li><li>[[natlang/en/satisfied IF|satisfied IF]]</li><li>[[natlang/en/sound IF|sound IF]]</li></ul>

==== created by ====
[[personal/krtisfranks|krtisfranks]]
==== vote information ====
1
     
==== time ====
Sat Jul 23 07:44:02 2016



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

=== Etymology ===