>>524
(引用開始)
存在例化の規則では
存在限量子∃のつく式は
結論ではなく前提に現れる
だから君みたいな●●なことはいわない
>混乱するだけじゃないの？
混乱してるのは、推論規則を全く知らんサルの君だけ
(引用終り)

ふっふ、ほっほ

・P→Q で、ベン図で P ⊂ Q （記号の濫用）
・だから 前段Pで存在すれば、結論Q でも存在するよ■

混乱してるのは、推論規則を全く知らない
基礎論婆こと おサルさんの君だけ>>476
やれやれ、ｗ ；ｐ）

あのぉー
基礎論自慢の割にｗｗ
クサイ発言しているね ｗ ；ｐ）