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
second-order logic
  گوییک ِ رایه‌ی ِ دوم  
guyik-e râye-ye dovom
Fr.: logique du seconde ordre  

An n extension of → first-order logic that quantifies not only → variables that range over → individuals, but also quantifies over → relations.

See also: → second; → order; → predicate; → logic.