とする．このとき
「すべての日本人はすべて人間で，ある動物である．」
なぜなら
すべての日本人はある動物である
すべての日本人はすべて人間である
からである．
- 選言三段論法による表示
①
すべての日本人はある動物である
または
すべての人間はある動物である
② すべて日本人でない/すべて人間でない
③ すべての日本人/人間は，ある動物である
- すべての日本人はある動物であるときの例
① すべて日本人である または ある動物である
② すべて日本人でない/ある動物でない
③ ある動物である/すべて日本人である
- すべての人間はある動物であるときの例
① すべて人間である または ある動物である
② すべて人間でない/ある動物でない
③ ある動物である/すべて人間である
- 自然演繹的表示1
0,1 (1) 仮定
0,1 (2) 1.∨-導入
3 (3) 仮定
(4) 2-3.選言三段論法
- 自然演繹的表示2
0,1 (1) 仮定
0,1 (2) 1.∨-導入
3 (3) 仮定
(4) 2-3.選言三段論法
という結果を得る．これより，この2個の論証を同一視することによって，の仮定と
の仮定は共に落ちる，と解釈する．
