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