>>516
>中途半端に、『存在例化』なんか教えたら
>「先生！ それ名前つけてますけど、存在の証明まだですょ〜」
>なんてツッコミが・・・
ほら、全然分かってない
存在例化の規則では
存在限量子∃のつく式は
結論ではなく前提に現れる
だから君みたいな●●なことはいわない
>混乱するだけじゃないの？
混乱してるのは、推論規則を全く知らんサルの君だけ