https://rio2016.5ch.net/test/read.cgi/math/1582599485/983
>タブローに自然演繹を混ぜようとするのは止めてくれ
>タブロー法に全称例化という概念はない

あるだろ！　基本だろ！

例

∀xPx　ゆえに　∃ｘPｘ　

証明
１　∀ｘPx　（前提）
２✓¬∃xPx　（結論の否定）
３✓∀ｘ¬Px　（２より¬に関する規則の適用）
４　¬Pa　（３より全称例化）
５　Pa　（１より全称例化）

×