>>419
∨じゃないのか?
もしそのままだったら、 命題P∧¬Pは常に偽なので、その関係は空だ。