論理学の質問です。 この2行目なのですが、 p∧((p∨q)∧(q∨¬q)) だと思うのですが、これ

論理学の質問です。
この2行目なのですが、
p∧((p∨q)∧(q∨¬q))
だと思うのですが、これは誤植なのでしょうか？
正しいとすれば、どう考えればこの画像のように変形できるのでしょうか

No.1 ベストアンサー 回答者： stomachman 回答日時： 2021/03/20 15:49

> p∧((p∨q)∧(q∨¬q))

> だと思う
そうですね。誤植でしょう。

(p∧q)∨(p∧¬q)
≡(分配律) p∧(q∨¬q)
≡(排中律) p∧I
≡(定理1.7.3(1)) p
が早いかな。

この回答へのお礼

ありがとうございます！

お礼日時：2021/03/20 15:52