Anonymous user
Talk:Ternary logic: Difference between revisions
→if a then b: Also ⇔, ≡ and ↔ are "equivalent", '''and''' equivalent to each other and to '''if and only if''' and '''iff'''.
(→if a then b: :-^) |
(→if a then b: Also ⇔, ≡ and ↔ are "equivalent", '''and''' equivalent to each other and to '''if and only if''' and '''iff'''.) |
||
Line 31:
Note: ⊃ is the same as → and ⇒ operations. c.f. [[wp:List of logic symbols|List of logic symbols]]
Also ⇔, ≡ and ↔ are "equivalent", '''and''' equivalent to each other and to '''if and only if''' and '''iff'''.
BTW: the operators /\ and \/ were originally part of the [[wp:C programming language|C programming language]], they appear to be borrowed from the ALGOL ∧ and ∨ operators. Indeed the character "\" was included in ASCII for this specific purpose.
| |||