20/04/22 08:58:52 gQCe02i1.net
誤りといえば、以前、述語論理に関してこんな主張があった
∀ｘＰｘ ならば ∃ｘＰｘ
上記に関して、「そんなこといえない」という反論があった
で、さっそくタブロー法で確かめてみた
∀ｘＰｘ ?前提
✓￢∃ｘＰｘ ?結論の否定
∀ｘ￢Ｐｘ ? ?より
￢Ｐａ ? ?の全称例化
Ｐａ ? ?の全称例化
×
結論：「∀ｘＰｘ ならば ∃ｘＰｘ」は妥当な推論
全称例化が認められているのは
定義域に属する対象が少なくとも１つ存在する
としているから
ああ、スッキリ