jo JA -jov- cmavo

logical connective: tanru-internal afterthought biconditional/iff/if-and-only-if.

In notes:

x1 and x2 have the same truth value; either both or none of x1 and x2 is true
x1 is a logical statement of proposition-equivalence/is a biconditional/'IFF' statement saying that x2 (du'u) is true if and only if x3 is true ("x2 is logically equivalent to x3; x2 being true is sufficient and necessary for guaranteeing the truth of x3; x2 iff x3").