Common Logical Connectives
| Name / Symbol | Truth table | Venn | |||||
|---|---|---|---|---|---|---|---|
| P = | 0 | 1 | |||||
| Truth/Tautology | ⊤ | 1 | 1 | ||||
| Proposition P | 0 | 1 | |||||
| False/Contradiction | ⊥ | 0 | 0 | ||||
| Negation | ¬ | 1 | 0 | ||||
| Binary connectives | P = | 0 | 0 | 1 | 1 | ||
| Q = | 0 | 1 | 0 | 1 | |||
| Conjunction | ∧ | 0 | 0 | 0 | 1 | ||
| Alternative denial | ↑ | 1 | 1 | 1 | 0 | ||
| Disjunction | ∨ | 0 | 1 | 1 | 1 | ||
| Joint denial | ↓ | 1 | 0 | 0 | 0 | ||
| Material conditional | → | 1 | 1 | 0 | 1 | ||
| Exclusive or | 0 | 1 | 1 | 0 | |||
| Biconditional | ↔ | 1 | 0 | 0 | 1 | ||
| Converse implication | ← | 1 | 0 | 1 | 1 | ||
| Proposition P | 0 | 0 | 1 | 1 | |||
| Proposition Q | 0 | 1 | 0 | 1 | |||
| More information | |||||||
Read more about this topic: Logical Connective
Famous quotes containing the words common and/or logical:
“Stiller ... took part in the Spanish Civil War ... It is not clear what impelled him to this military gesture. Probably many factors were combined—a rather romantic Communism, such as was common among bourgeois intellectuals at that time.”
—Max Frisch (1911–1991)
“Nature’s law says that the strong must prevent the weak from living, but only in a newspaper article or textbook can this be packaged into a comprehensible thought. In the soup of everyday life, in the mixture of minutia from which human relations are woven, it is not a law. It is a logical incongruity when both strong and weak fall victim to their mutual relations, unconsciously subservient to some unknown guiding power that stands outside of life, irrelevant to man.”
—Anton Pavlovich Chekhov (1860–1904)