弱排中律 - Internet Explorer 2.0

弱排中律

追加した論理は弱排中律の論理KCという．