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:
“Governments which have a regard to the common interest are constituted in accordance with strict principles of justice, and are therefore true forms; but those which regard only the interest of the rulers are all defective and perverted forms, for they are despotic, whereas a state is a community of freemen.”
—Aristotle (384–322 B.C.)
“The novel is not “a crazy quilt of bits”; it is a logical sequence of psychological events: the movements of stars may seem crazy to the simpleton, but wise men know the comets come back.”
—Vladimir Nabokov (1899–1977)
Related Phrases
Related Words