0086132人目の素数さん垢版 | 大砲2024/03/26(火) 13:59:17.34ID:vQyilxSC 仮に矛盾A∧¬Aの否定を排中律A∨¬Aと考えるならば (正確には¬(A∧¬A)とA∨¬Aは違う命題だが) 直観主義論理では排中律は仮定されないけど、個別の命題がA∨¬Aを満たすことはある その意味で矛盾の否定は同等でない