زبان
type: Concept
preferred label: language @en
related: منطق نمادی

منطق گزاره‌ها
type: Concept
broader: منطق نمادی
preferred label: propositional logic @en

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

منطق نمادی
type: Concept
alternative label: منطق علامتی
broader: منطق عمومی
narrower: منطق محمولات
narrower: منطق گزاره‌ها
preferred label: symbolic logic @en
related: زبان
scope note: بررسی صوری نمادگان و کاربردهای آن در مبانی ریاضی.

منطق عمومی
type: Concept
narrower: منطق نمادی
preferred label: general logic @en