axiom
preferred label: اصل موضوع @fa
type: Concept
broader: rule

law
preferred label: قانون @fa
type: Concept
related: rule

rule of inference
preferred label: قاعده استنتاج @fa
type: Concept
broader: rule

formula
preferred label: فرمول @fa
type: Concept
related: rule

general terminology
preferred label: اصطلاحات عمومی @fa
type: Concept
narrower: rule

rule
type: Concept
preferred label: قاعده @fa
broader: general terminology
narrower: rule of inference
narrower: de Morgan 's rules
narrower: axiom
related: formula
related: law
related: theorem

de Morgan 's rules
preferred label: قوانین دمورگان @fa
type: Concept
broader: rule

theorem
preferred label: قضیه @fa
type: Concept
related: rule