tautological implication
نتیجه توتولوژیک
lemma
قانون
law
sequent
نتیجه
definition
تعریف
proposition
گزاره
گزاره دو شرطی
biconditional statement
conjecture
حدس
اصطلاحات عمومی
general terminology
قاعده
rule
گزاره ریاضی اثبات شده.
قضیه
theorem