View source for Edu:First Order Logic - FOL

From IAOA Wiki

← Edu:First Order Logic - FOL

Jump to:navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

== First-order Logic ==
# First-order Logic (FOL) is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects and allows the use of sentences that contain predicates, quantifiers and variables.

[[Category:Term|Term]]

Return to Edu:First Order Logic - FOL.

Retrieved from "https://wiki.iaoa.org/index.php/Edu:First_Order_Logic_-_FOL"

Navigation menu