矛盾を区別したければしてもいいよ
⊥を使わなくても論理は作れる