افتح القائمة الرئيسية
الصفحة الرئيسية
عشوائي
دخول
الإعدادات
عن المعرفة
عدم مسؤولية
المعرفة
بحث
قالب
:
Transformation rules
راقب هذه الصفحة
عدل
قواعد التحويل
حسبان القضايا
قواعد الاستدلال
Modus ponens
/
Modus tollens
Biconditional introduction
/
elimination
Conjunction introduction
/
elimination
Disjunction introduction
/
elimination
Disjunctive
/
Hypothetical syllogism
Constructive
/
Destructive dilemma
Absorption
Modus ponendo tollens
Rules of replacement
تجميعية
Commutativity
Distributivity
Double negation
De Morgan's laws
Transposition
Material implication
Exportation
Tautology
Negation introduction
منطق الإسناد
Universal generalization
/
instantiation
Existential generalization
/
instantiation
v
t
e
انظر أيضاً
{{
Classical logic
}}
{{
Logic templates
}}