خانه
تصادفی
در نزدیکی
ورود
تنظیمات
کمک مالی
دربارهٔ ویکیپدیا
تکذیبنامهها
جستجو
الگو
:
قواعد تبدیل
زبان
پیگیری
ویرایش
قاعده استنتاج
حساب گزارهای
قاعده استنتاج
Implication introduction
/
وضع مقدم
Biconditional introduction
/
elimination
Conjunction introduction
/
elimination
Disjunction introduction
/
elimination
Disjunctive
/
hypothetical syllogism
Constructive
/
destructive dilemma
Absorption
/
نفی تالی
/
modus ponendo tollens
Rules of replacement
شرکتپذیری
خاصیت جابهجایی
توزیعپذیری
نقیض مضاعف
قوانین دمورگان
Transposition
Material implication
Exportation
Tautology
Negation introduction
منطق مرتبه اول
Universal generalization
/
instantiation
Existential generalization
/
instantiation
ن
ب
و
See also
ویرایش
{{
Classical logic
}}
{{
Logic templates
}}
