# Category:First Order Predicate Logic

From CIMI

**Abbreviation:** FOPL
**Definition: **First-order predicate logic is a formal system used in mathematics, philosophy, linguistics, and computer science, which includes the features of propositional logic as well as predicates and quantification.

**Reference Definition:** First-order predicate logic is a formal system used in mathematics, philosophy, linguistics, and computer science. While propositional logic deals with simple declarative propositions, first-order logic additionally covers predicates and quantification. (**Wikipedia)**
**Component of:** Information Model

*This category currently contains no pages or media.*