11/03/20 17:46:21.59
>>475
ありがとうございます。どうも誤植だった模様です。
正確には∀ｘ∃ｙ(Ｐ(ｘ)→Ｑ(ｙ))→∃ｙ∀ｘ(Ｐ(ｘ)→Ｑ(ｙ))だったようです。
11/03/20 17:46:21.59
>>475
ありがとうございます。どうも誤植だった模様です。
正確には∀ｘ∃ｙ(Ｐ(ｘ)→Ｑ(ｙ))→∃ｙ∀ｘ(Ｐ(ｘ)→Ｑ(ｙ))だったようです。
11/03/20 17:46:21.59
>>475
ありがとうございます。どうも誤植だった模様です。
正確には∀ｘ∃ｙ(Ｐ(ｘ)→Ｑ(ｙ))→∃ｙ∀ｘ(Ｐ(ｘ)→Ｑ(ｙ))だったようです。