パースの法則：((A→B)→A)→A 直観主義論理NJに、パースの法則を公理図式として加えると古典論理になるという話を聞いたので少し考えた。たしかに、((A→⊥)→A)→A を前提することで、((A→⊥)→⊥)→A が導出できるっぽい。つまり、二重否定除去が導出できるから、こ…