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:
“What climbs the stair?
Nothing that common women ponder on
If you are worth my hope! Neither Content
Nor satisfied Conscience, but that great family
Some ancient famous authors misrepresent,
The Proud Furies each with her torch on high.”
—William Butler Yeats (18651939)
“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 functionalismbut only sometimes, not always. So there are aspects of grammar that make good, logical sense, and others that do not.”
—John Simon (b. 1925)