981コメント443KB

数学基礎論・数理論理学　その14

■ このスレッドは過去ログ倉庫に格納されています

0299１３２人目の素数さん

2013/11/16(土) 18:33:22.21

∀x∃y.P(x,y)は￢∃x.￢∃y.P(x,y)と同じだから後者を考えれば良い

■ このスレッドは過去ログ倉庫に格納されています