axiom
اصل موضوع
قانون
law
rule of inference
قاعده استنتاج
فرمول
formula
اصطلاحات عمومی
general terminology
rule
قاعده
de Morgan 's rules
قوانین دمورگان
theorem
قضیه