شرط
preferred label: condition @en
type: Concept
related: ادات منطقی

نظریه برهان
preferred label: proof theory @en
type: Concept
narrower: ادات منطقی

ادات منطقی
type: Concept
related: جمله
related: پیچیدگی برهان
related: شرط
related: منطق جبری
related: ساختمان استوانه‌ای
related: ریاضیات شهودی
related: نظریه مرتبه اول
related: منطق بولی
related: عبارت) جمله)
related: منطق مرتبه بالاتر
related: مدل کریپکی
related: اصطلاحات عمومی
preferred label: logical connectives @en
narrower: ترکیب عطفی
narrower: ترکیب فصلی
narrower: رابط
broader: نظریه برهان

جمله
preferred label: sentence @en
type: Concept
related: ادات منطقی

رابط
preferred label: connective @en
type: Concept
broader: ادات منطقی

ترکیب عطفی
preferred label: conjunction @en
type: Concept
broader: ادات منطقی

منطق جبری
preferred label: algebraic logic @en
type: Concept
related: ادات منطقی

ریاضیات شهودی
preferred label: intuitionistic mathematics @en
type: Concept
related: ادات منطقی

منطق بولی
preferred label: Boolean logic @en
type: Concept
related: ادات منطقی

ترکیب فصلی
preferred label: disjunction @en
type: Concept
broader: ادات منطقی

پیچیدگی برهان
preferred label: complexity of proof @en
type: Concept
related: ادات منطقی

اصطلاحات عمومی
preferred label: general terminology @en
type: Concept
related: ادات منطقی

ساختمان استوانه‌ای
preferred label: cylindrical construction @en
type: Concept
related: ادات منطقی

نظریه مرتبه اول
preferred label: first order theory @en
type: Concept
related: ادات منطقی

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

عبارت) جمله)
preferred label: term @en
type: Concept
related: ادات منطقی

منطق مرتبه بالاتر
preferred label: higher order logic @en
type: Concept
related: ادات منطقی