منطق محمولی کلاسیک
classical predicate logic
quantifier
سور
predicate Kripke model
مدل کریپکی محمولی
symbolic logic
منطق نمادی
منطق محمولات
predicate logic
زبانی ا‌ست همه‌جاگیر در علوم نمادی که توسط دانشمندان مختلف در علوم ریاضی، فلسفه، زبان‌شناسی، علوم رایانه، و به طور اخصّ در هوش مصنوعی و نمایش دانش، مورد استفاده قرار می‌گیرد.
quantified statement
عبارت مسور
منطق محمولی شهودی
intuitionistic predicate logic