矛盾を許容する。
矛盾律をP∧¬P=TRUEとしても、
爆発律であるP,¬P ⊢ Q にならなければよい。