Logic MOC

Propositional logic

Propositional logic, also called 0th-order logic, refers to the part of logic dealing with propositions and connectives between them (and no bound variables). A propositional calculus is a formal system for manipulating 0th-order logic.

• Formal language of propositional logic
• Truth table semantics for classical propositional logic
• Classical propositional calculus à la Hilbert

An alternative is (non dependent) Type theory.

#state/develop | #lang/en | #SemBr