各論理式は真か偽のどちらかの真理値を持つ

真と偽両方の真理値を持つと矛盾してしまう