| 推論（〜である） |
推理（〜だろう） |
個別化の原理
（すべてのＡ→Ｂ） → （あるＡ→Ｂ） |
- |
後件否定・対偶
（Ａ→Ｂ）で(−Ｂ ) →−Ａ
（Ａ→Ｂ）≡（−Ｂ→−Ａ）
|
- |
背理法
（Ａ→Ｂ）で（Ａ→−Ｂ） → −Ａ |
- |
双条件
（Ａ→Ｂ）≡（Ｂ→Ａ） |
- |
移行の法則
（Ａ→Ｂ）で（Ｂ→Ｃ） → （Ａ→Ｃ） |
- |
消去法
（ＡかＢかＣ）で（−Ａで−Ｂ） → Ｃ |
- |
両刀論法（ジレンマ）
（ＡかＢ）で（Ａ→Ｃ）で（Ｂ→Ｃ） → Ｃ
三刀論法（トリレンマ）
|
- |
完全列挙の方法
（すべてのＡ→Ｂ） → （Ａ→Ｂ） |
帰納法
（いくつかのＡ→Ｂ） → （Ａ→Ｂ）？ |
数学的帰納法
ｆ（１）で〔ｆ（ｋ）→ｆ（ｋ＋１）〕 → ｆ（ｎ） |
- |
同型性
数式・図形・論理・集合 |
類推
（Ａ≒Ｂ）で（Ａ→ａ） → （Ｂ→ａ）？ |
ド・モルガンの法則
−（Ａ で Ｂ） ≡−Ａ か−Ｂ
−（Ａ か Ｂ） ≡−Ａ で−Ｂ |
- |
反証
（あるＡ→−Ｂ）→−（Ａ→Ｂ) |
実証
（いくつかのＡ→Ｂ）→（Ａ→Ｂ）？ |
矛盾・反対・小反対
すべて・かならず・絶対 |
- |
