Anonymous user
Talk:Ternary logic: Difference between revisions
→if a then b: :-^
(→if a then b: :-^) |
|||
Line 26:
:::It started as plain old "implies" probably. Then something had to be used for "maybe". I'd say ask whoever came up with [[wp:Many-valued_logic#Examples|this]]. It certainly wasn't invented for this task. --[[User:Mwn3d|Mwn3d]] 03:06, 27 August 2011 (UTC)
I included the operator ⊃ and ≡ as (for some reason) they are part of the original [[wp:ALGOL 60|ALGOL 60]] specification. (Strange but true!) But in the case of binary the ⊃ operator does not seem
(Said with my tongue firmly in my cheek: Maybe binary is the reason the computers are so black and white, and (at least on Star Trek and Dr. Who) is it the reason that tautologies make the front panels of computers spout smoke. c.f. http://www.youtube.com/watch?v=w3fyKChJrZw LOL :-^ )
Note: ⊃ is the same as → and ⇒ operations. c.f. [[wp:List of logic symbols|List of logic symbols]]
| |||