Logic MOC

Predicate logic

Predicate logic, also called 1st order logic, refers to the part of logic allowing for quantification over non-logical objects.

• Conventions of 1st-order logic in these notes

An alternative is dependent type theory.

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