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

From CIMI

**Deprecated**: The each() function is deprecated. This message will be suppressed on further calls in

**/mnt/web/html/CIMI/includes/diff/DairikiDiff.php**on line

**434**

m (1 revision) |
|||

Line 1: | Line 1: | ||

{{abbrev|FOPL}} | {{abbrev|FOPL}} | ||

− | {{definition|First-order predicate logic is a formal system used in mathematics, philosophy, linguistics, and computer science | + | {{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 }} | {{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 }} |

## Revision as of 15:30, 3 April 2012

**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.*