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