منطق محمولی کلاسیک
preferred label: classical predicate logic @en
type: Concept
related: منطق محمولات

سور
preferred label: quantifier @en
type: Concept
related: منطق محمولات

مدل کریپکی محمولی
preferred label: predicate Kripke model @en
type: Concept
related: منطق محمولات

منطق نمادی
preferred label: symbolic logic @en
type: Concept
narrower: منطق محمولات

منطق محمولات
preferred label: predicate logic @en
related: سور
related: عبارت مسور
related: منطق محمولی کلاسیک
related: مدل کریپکی محمولی
related: منطق محمولی شهودی
type: Concept
broader: منطق نمادی
scope note: زبانی ا‌ست همه‌جاگیر در علوم نمادی که توسط دانشمندان مختلف در علوم ریاضی، فلسفه، زبان‌شناسی، علوم رایانه، و به طور اخصّ در هوش مصنوعی و نمایش دانش، مورد استفاده قرار می‌گیرد.

عبارت مسور
preferred label: quantified statement @en
type: Concept
related: منطق محمولات

منطق محمولی شهودی
preferred label: intuitionistic predicate logic @en
type: Concept
related: منطق محمولات