13/11/16 21:31:00.46
>>301
￢∃x.￢∃y.P(x,y) を考えれば良いということなのですね？
それが分からないという質問だったのですが。どう考えればよいのでしょうか？
∃y...をどう考えればよいかは分かるのですが、￢∃x...をどう考えればよいのか分かりません。
∃yと￢∃xは、随分違いますよね
13/11/16 21:31:00.46
>>301
￢∃x.￢∃y.P(x,y) を考えれば良いということなのですね？
それが分からないという質問だったのですが。どう考えればよいのでしょうか？
∃y...をどう考えればよいかは分かるのですが、￢∃x...をどう考えればよいのか分かりません。
∃yと￢∃xは、随分違いますよね