17/11/03 21:22:10.74 F9KYB+8R.net
直観主義では(￢(A∧B))→((￢A)∨(￢B))は示せないですが、その対偶の
(￢((￢A)∨(￢B)))→(￢￢(A∧B))を示すことは出来ました。
でも(￢∃x￢A)→(￢￢∀xA)は示せないようです。（もし直観主義で
示せる人がいるなら証明を教えてくれるとうれしいです。）
直観主義では本当に(￢∃x￢A)→(￢￢∀xA)が示せないのなら、
直観主義では∀x￢￢Aと￢∀xAを同時に仮定しても矛盾しない
ことになりますが、なんか不思議な気がします。ここらへんを
うまく説明できる人はいるでしょうか。