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:
“We are the creatures of imagination, passion, and self- will, more than of reason or even of self-interest.... Even in the common transactions and daily intercourse of life, we are governed by whim, caprice, prejudice, or accident. The falling of a teacup puts us out of temper for the day; and a quarrel that commenced about the pattern of a gown may end only with our lives.”
—William Hazlitt (1778–1830)
“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 Subjects
Related Phrases
Related Words