Category:First Order Predicate Logic

From CIMI
Revision as of 11:16, 10 April 2012 by Jay Lyle (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


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.