Skip to end of metadata
Go to start of metadata

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
Enter labels to add to this page:
Please wait 
Looking for a label? Just start typing.