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

فرهنگ ریشه شناختی اخترشناسی-اخترفیزیک

M. Heydari-Malayeri    -    Paris Observatory

   Homepage   
   


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.