数学に関する質問掲示板(試験的)

次の命題を簡略化したものがあっているかどうか確認したいです。
( P v ¬ Q ) →(P Λ Q)

答えは (P v Q) ∧ (¬P v Q)でしょうか？
解答手順は、

1.(P v ¬Q) → (P ∧ Q)
2.¬(P v ¬Q) ∨ (P ∧ Q)
3.(¬P ∧ Q) ∨ (P ∧ Q) (ドモルガン)
4.(¬P v P) ∧ (¬P v Q) ∧ (P v Q) (分配法則)
5.(¬P v Q) ∧ (P v Q) (べき等則)
6.(P v Q) ∧ (¬P v Q) (交換法則)

どうぞよろしくお願いします

ジャム 2023/07/14(Fri) 14:31 No.73

Re: 命題

そもそもの数学の記号が分かりませんので、
知恵袋で聞いてください。
私には手に負えません。
皆さん私より賢いですから。
それでは。

管理人 2023/07/14(Fri) 17:26 No.74