An Etymological Dictionary of Astronomy and Astrophysics

English-French-Persian

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

Homepage  Preliminaries  Abbreviations  Acknowledgments  References 
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
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).

See also: → predicate; → logic.