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 Connectives
Famous quotes containing the words common and/or logical:
“I hope there are some who will brave ridicule for the sake of common justice to half the people in the world.”
—Barbara Leigh Smith Bodichon (1827–1891)
“It is possible—indeed possible even according to the old conception of logic—to give in advance a description of all ‘true’ logical propositions. Hence there can never be surprises in logic.”
—Ludwig Wittgenstein (1889–1951)
Related Phrases
Related Words