0169132人目の素数さん垢版 | 大砲2017/12/26(火) 01:50:51.45ID:oROs5baw ならばやまたはの解釈が違うんですね 古典論理においては(P⊃Q)∨(Q⊃P)は正しいですが、直観主義論理においては、(P⊃Q)∨(Q⊃P)は正しくないです 証明もできません あなたの考えはもしかしたら直観主義的なのかもしれません そっちの方の論理学を勉強してみると良いかもしれませんね