نتیجه توتولوژیک
preferred label: tautological implication @en
type: Concept
related: قضیه

لم
preferred label: lemma @en
type: Concept
broader: قضیه

قانون
preferred label: law @en
type: Concept
related: قضیه

نتیجه
preferred label: sequent @en
type: Concept
broader: قضیه

تعریف
preferred label: definition @en
type: Concept
related: قضیه

گزاره
preferred label: proposition @en
type: Concept
related: قضیه

گزاره دو شرطی
preferred label: biconditional statement @en
type: Concept
related: قضیه

حدس
preferred label: conjecture @en
type: Concept
broader: قضیه

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

قاعده
preferred label: rule @en
type: Concept
related: قضیه

قضیه
related: نتیجه توتولوژیک
related: تعریف
related: قاعده
related: گزاره
related: گزاره دو شرطی
related: قانون
scope note: گزاره ریاضی اثبات شده.
type: Concept
preferred label: theorem @en
narrower: نتیجه
narrower: لم
narrower: حدس
broader: اصطلاحات عمومی