An Etymological Dictionary of Astronomy and Astrophysics

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Number of Results: 1 Search : first-order logic

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.

→ first; → order; → predicate; → logic.

An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian