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 : predicate logic
predicate logic
  گوییک ِ فراسنی، ~ فراسنها   
guyik-e farâsani, ~ farâsanhâ

Fr.: logique des prédicats   

The generic term for systems of → formal logic like → first-order logic and → second-order logic. Predicate logic contains → variables which can be quantified (→ quantify, → quantification).

→ predicate; → logic.