Classical Logic
| T true | ·∧· | ||
| ¬ | ↕ | ↕ | |
| ⊥ false | ·∨· | ||
| Negation permutes truth with false and conjunction with disjunction |
|||
In classical logic, with its intended semantics, the truth values are true (1 or T) and false (0 or ⊥); that is, classical logic is a two-valued logic. This set of two values is also called the Boolean domain. Corresponding semantics of logical connectives are truth functions, whose values are expressed in the form of truth tables. Logical biconditional becomes the equality binary relation, and negation becomes a bijection which permutes true and false. Conjunction and disjunction are dual with respect to negation, which is expressed by De Morgan's laws:
- ¬(p∧q) ⇔ ¬p ∨ ¬q
- ¬(p∨q) ⇔ ¬p ∧ ¬q
Propositional variables become variables in the Boolean domain. Assigning values for propositional variables is referred to as valuation.
Read more about this topic: True And False
Famous quotes containing the words classical and/or logic:
“Against classical philosophy: thinking about eternity or the immensity of the universe does not lessen my unhappiness.”
—Mason Cooley (b. 1927)
“It is the logic of our times,
No subject for immortal verse—
That we who lived by honest dreams
Defend the bad against the worse.”
—Cecil Day Lewis (1904–1972)