- 552 名前：１３２人目の素数さん mailto:sage [2024/12/12(木) 20:16:06.10 ID:R3vxeGMj.net]
- >>516
>中途半端に、『存在例化』なんか教えたら
>「先生！ それ名前つけてますけど、存在の証明まだですょ〜」
>なんてツッコミが・・・
ほら、全然分かってない
存在例化の規則では
存在限量子∃のつく式は
結論ではなく前提に現れる
だから君みたいな●●なことはいわない
>混乱するだけじゃないの？
混乱してるのは、推論規則を全く知らんサルの君だけ
