Boolean Algebra as the Basis of Mathematical Logic
Boolean Algebra as the Basis of Mathematical Logic
J.-M. Kuczynski
2016-12-29
2018-02-20
Boolean Algebra as the Basis of Mathematical Logic
Description
The theorems of the propositional calculus and the predicate calculus are stated, and the analogous principles of Boolean Algebra are identified. Also, the primary principles of modal logic are stated, and a procedure is described for identifying their Boolean analogues.