skifa

valsi

skifa

type

experimental gismu

creator

krtisfranks

time entered

Sun Sep 18 07:11:37 2016  

English

Definition #68905

 

definition

x₁ is a logical statement which says that x₂ (du'u) being true logically implies (material implication) x₃ being necessarily true, but in which the converse does not hold (it is certain that there are cases in which 'IFF' fails: x₂ is not necessary for x₃).

notes

Strict-'IF'; the truth of x₂ guarantees the truth of x₃ but the truth of x₃ gives no indication about the truth of x₂ (in general). This word is like kanxe. See also: sigda.

gloss words

• IF-but-not-ONLY-IF statement
• strict-IF statement

created by

krtisfranks

vote information

0

time

Sun Sep 18 09:09:17 2016

Examples

---