Logic MOC

st-order logic

st-order logic, often called predicate logic, refers to the part of logic allowing for quantification over non-logical objects.

• Conventions of st-order logic in these notes

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