排中律

全然関係ない推論が出来る

$ A \vDash B \lor \lnot B

認めないぞという立場