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.