Logic MOC

1st-order logic

1st-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

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