13/11/21 15:36:19.17
>>482
御免 釣りかと勘違いしとった
一番わかりやすそうなヒントつーか考えようのとっかかりというか
∀x∃y A（x、y） ｜→ ∃x∀y A（x、y）
と
∃x∀y A（x、y） ｜→ ∀x∃y A（x、y）
と
LKでもLJでも普遍ゼクヴェツになるのはどーっちだ？
なーんちって（～～）正解は４８２さんなりに作成してちょ
13/11/21 15:36:19.17
>>482
御免 釣りかと勘違いしとった
一番わかりやすそうなヒントつーか考えようのとっかかりというか
∀x∃y A（x、y） ｜→ ∃x∀y A（x、y）
と
∃x∀y A（x、y） ｜→ ∀x∃y A（x、y）
と
LKでもLJでも普遍ゼクヴェツになるのはどーっちだ？
なーんちって（～～）正解は４８２さんなりに作成してちょ