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 1st-order logic in these notes develop | en | sembr