Logic MOC

th-order logic

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

• Conventions of 0th-order logic in these notes

An alternative is (non dependent) Type theory.

---

develop | en | sembr