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:
“That we can come here today and in the presence of thousands and tens of thousands of the survivors of the gallant army of Northern Virginia and their descendants, establish such an enduring monument by their hospitable welcome and acclaim, is conclusive proof of the uniting of the sections, and a universal confession that all that was done was well done, that the battle had to be fought, that the sections had to be tried, but that in the end, the result has inured to the common benefit of all.”
—William Howard Taft (1857–1930)
“Grammar is a tricky, inconsistent thing. Being the backbone of speech and writing, it should, we think, be eminently logical, make perfect sense, like the human skeleton. But, of course, the skeleton is arbitrary, too. Why twelve pairs of ribs rather than eleven or thirteen? Why thirty-two teeth? It has something to do with evolution and functionalism—but only sometimes, not always. So there are aspects of grammar that make good, logical sense, and others that do not.”
—John Simon (b. 1925)