Explore relationships

First-order predicate logic

In mathematics, philosophy, linguistics, and computer science, first-order logic (FOL), also called predicate logic, predicate calculus, or quantificational logic, is a type of formal system.

Use + to expand a branch. Click a topic name to open its summary.