Month: April 2021

Logic sentences that can be expressed in classical propositional calculus have an equivalent expression in Boolean algebra. Thus, Boolean logic is sometimes used to denote propositional calculus performed in this way.161718 Boolean algebra is not sufficient to capture logic formulas using quantifiers, like those from first-order logic. The sets of logical expressions are known as… Continue reading Axioms of Boolean Algebra