first-order logic (FOL) — An Etymological Dictionary of Astronomy and Astrophysics

first-order logic (FOL)

گوییک ِ فراسنی ِ رایه‌ی ِ نخست، ~ فراسنهای ِ ~ ~

guyik-e farâsani-ye râye-ye naxost, ~ farâsanhâ-ye ~ ~

Fr.: logique des prédicats du premier ordre

A system of → formal logic that is an extension of → propositional logic. It is also known as → first-order predicate calculus and → predicate logic. FOL eliminates deficiencies of propositional logic by: representing → objects (their properties, relations and statements about them), introducing → variables, and introducing → quantifiers.

See also: → first; → order; → predicate; → logic.

An Etymological Dictionary of Astronomy and Astrophysics