تساوی
type: Concept
broader: اصطلاحات عمومی
preferred label: equality @en

تعریف
type: Concept
broader: اصطلاحات عمومی
preferred label: definition @en

تعمیم
type: Concept
broader: اصطلاحات عمومی
preferred label: generalization @en

تنازع
type: Concept
broader: اصطلاحات عمومی
preferred label: antinomy @en

توسیع
type: Concept
broader: اصطلاحات عمومی
preferred label: extension @en

شرط
type: Concept
broader: اصطلاحات عمومی
preferred label: condition @en

شی منطقی
type: Concept
broader: اصطلاحات عمومی
preferred label: logical object @en

عملیات منطقی
type: Concept
broader: اصطلاحات عمومی
preferred label: logical operations @en

قاعده
type: Concept
broader: اصطلاحات عمومی
preferred label: rule @en

قانون
type: Concept
broader: اصطلاحات عمومی
preferred label: law @en

قضیه
type: Concept
broader: اصطلاحات عمومی
preferred label: theorem @en

نامعادله
type: Concept
broader: اصطلاحات عمومی
preferred label: inequality @en

اصطلاحات عمومی
type: Concept
broader: منطق ریاضی
narrower: قانون
narrower: شرط
narrower: تساوی
narrower: تعریف
narrower: قضیه
narrower: تعمیم
narrower: نامعادله
narrower: تنازع
narrower: شی منطقی
narrower: توسیع
narrower: عملیات منطقی
narrower: قاعده
preferred label: general terminology @en
related: ادات منطقی

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

منطق ریاضی
type: Concept
narrower: اصطلاحات عمومی
preferred label: mathematical logic @en