نمایش مبدأ برای الگو:قواعد تبدیل

{{#invoke:Sidebar|sidebar
| class = plainlist
| title = [[قاعده استنتاج]]

   | headingstyle = background:#eaeaff;
   | contentstyle = padding-top:0.15em;

| heading1style =  background:#ddf;font-size:110%; border-bottom:1px #fefefe solid;
| heading1 = [[حساب گزاره‌ای]]

   | heading2 = [[قاعده استنتاج]]
   | content2 =
*   [[Conditional proof|<span>Implication introduction</span>]]{{\}}<!--
 -->[[وضع مقدم]]
*   [[Biconditional introduction|<span title="A→B, &nbsp; B→A &nbsp; ⊢ &nbsp; A↔B">Biconditional introduction</span>]]{{\}}<!--
 -->[[Biconditional elimination|<span title="A↔B &nbsp; ⊢ &nbsp; A→B"><!--Biconditional -->elimination</span>]]
*   [[Conjunction introduction|<span title="A, &nbsp; B &nbsp; ⊢ &nbsp; A∧B">Conjunction introduction</span>]]{{\}}<!--
 -->[[Conjunction elimination|<span title="A∧B &nbsp; ⊢ &nbsp; A">elimination</span>]]
*   [[Disjunction introduction|<span title="A &nbsp; ⊢ &nbsp; A∨B">Disjunction introduction</span>]]{{\}}<!--
 -->[[Disjunction elimination|<span title="A∨B, &nbsp; A→C, &nbsp; B→C &nbsp; ⊢ &nbsp; C"><!--Disjunction -->elimination</span>]]
*   [[Disjunctive syllogism|<span title="A∨B, &nbsp; ¬A &nbsp; ⊢ &nbsp; B">Disjunctive<!-- syllogism--></span>]]{{\}}<!--
 -->[[Hypothetical syllogism|<span title="A→B, &nbsp; B→C &nbsp; ⊢ &nbsp; A→C">hypothetical syllogism</span>]]
*   [[Constructive dilemma|<span title="A→P, &nbsp; B→Q, &nbsp; A∨B &nbsp; ⊢ &nbsp; P∨Q">Constructive<!-- dilemma--></span>]]{{\}}<!--
 -->[[Destructive dilemma|<span title="A→P, &nbsp; B→Q, &nbsp; ¬P∨¬Q &nbsp; ⊢ &nbsp; ¬A∨¬B">destructive dilemma</span>]]
*   [[Absorption (logic)|<span title="A→B &nbsp; ⊢ &nbsp; A→A∧B">Absorption</span>]]{{\}}<!--
 -->[[نفی تالی]]{{\}}<!--
 -->[[Modus ponendo tollens|<span title="¬(A∧B), &nbsp; A &nbsp; ⊢ &nbsp; ¬B">''modus ponendo tollens''</span>]]
   | heading3 = [[Rule of replacement|Rules of replacement]]
   | content3 = {{startflatlist}}
* [[شرکت‌پذیری]]
* [[خاصیت جابه‌جایی]]
* [[توزیع‌پذیری]]
* [[نقیض مضاعف]]
* [[قوانین دمورگان]]
* [[Transposition (logic)|Transposition]]
* [[Material implication (rule of inference)|<span title="A→B &nbsp; ⊢ &nbsp; ¬A∨B">Material implication</span>]]
* [[Exportation (logic)|<span title="(A∧B)→C &nbsp; ⊢ &nbsp; A→(B→C)">Exportation</span>]]
* [[Tautology (rule of inference)|<span title="A∨A &nbsp; = &nbsp; A">Tautology</span>]]
* [[Negation introduction]]
{{endflatlist}}

| heading4style = background:#ddf;font-size:110%;
| heading4 = [[منطق مرتبه اول]]
| content4 =
* [[Universal generalization]]{{\}}[[Universal instantiation|instantiation]]
* [[Existential generalization]]{{\}}[[Existential instantiation|instantiation]]

}}<noinclude>

===See also===
* {{tl|Classical logic}}
* {{tl|Logic templates}}

[[رده:الگو:منطق]]
[[رده:الگو:نوار کناری]]
</noinclude>