Laws of logic

From Free net encyclopedia

These laws of classical logic are valid in propositional logic and any boolean algebra. Some are axioms and others derived with truth tables. The logical operators ¬ 'not', ∧ 'and', ∨ 'or', the values T 'logically true', F 'logically false', and the relation ≡ 'logically equivalent to' are applied to propositions p, q, r.

• In these logics, the principles of bivalency, involution, idempotency, contraction, DeMorgan, and others like p ∧ T ≡ p and p ∨ F ≡ p are traditionally derived from the remainder above, which are considered axioms. One could reverse these derivations and make some of the derived principles axiomatic and derive some of the former axioms (like the laws of non-contradiction and the excluded middle) from them.