Difference between revisions of "Category:First Order Predicate Logic"

From CIMI
Jump to: navigation, search
m (1 revision)
m (1 revision)
(No difference)

Revision as of 11:02, 17 February 2012


Abbreviation: FOPL
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.


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.