First Order Logic (FOL)
FOL is a system of deduction that extends propositional logic by allowing quantification over individuals of a given domain of discourse. For example, it can be stated in FOL "Every individual has the property P". For more information, see Wikipedia.
Labels:
None