Talk:Ternary logic: Difference between revisions
Content added Content deleted
(→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: | Line 31: | ||
Note: ⊃ is the same as → and ⇒ operations. c.f. [[wp:List of logic symbols|List of logic symbols]] |
Note: ⊃ is the same as → and ⇒ operations. c.f. [[wp:List of logic symbols|List of logic symbols]] |
||
Also ⇔, ≡ and ↔ are equivalent. |
|||
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. |
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. |
||