弱排中律の論理KC