![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
連言標準形CNFにする一般的なやり方は、二重否定・分配則・ドモルガンなどを使うことです。
((p→q)∧p)→q
⇒((¬p∨q)∧p)→q
⇒¬((¬p∨q)∧p)∨q
⇒(¬(¬p∧q)∨¬p)∨q
⇒((¬¬p∧¬q)∨¬p)∨q
⇒((p∧¬q)∨¬p)∨q
⇒(p∧¬q)∨(¬p∨q)
⇒(p∨¬p∨q)∧(¬q∨¬p∨q)
どちらの連言肢にも排中律が現われたので恒真。
途中、ごちゃごちゃしてしまったのでミスがあるかもです。しかし、単に恒真かどうかということだけであれば、((p→q)∧p)→qは前件肯定式ですから、恒真なのは間違いないですね…。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 オートマトンの問題がわかりません。 2 2022/07/13 12:47
- 中学校 中1数学 比例のグラフの座標の読み取り 4 2023/03/28 12:26
- その他(学校・勉強) 大岩の英文法→英文法ポラリス1という流れで勉強しているんですが、ポラリスが難しくて解けません。 原因 1 2023/08/06 19:08
- 教育学 高校化学 0 2023/02/15 07:32
- 統計学 統計学の問題 2 2022/07/24 19:57
- 日本語 「どんな」は標準語 4 2022/05/17 14:32
- 統計学 統計量および正規分布と分散の加法性の演習問題です。 5 2023/07/29 10:46
- 数学 【大至急】数学のレポートの問題ですが、どうしても分からなくて書けません。数学ができる方がいらっしゃい 4 2022/07/24 01:16
- 統計学 統計学の問題です。よろしくお願いします。 ある部品の重量は正規分布に従うとされており,過去の経験から 1 2023/01/19 03:36
- 哲学 日本語は論理表現にふさわしくないか の問題です 4 2022/06/25 03:56
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
チューブ吐きについて
-
Macでのチャレンジタッチ2の提...
-
セガサターンのロボットゲーム...
-
これシコれるくね?
-
こ神々しいオーケストラ曲探索中❢
-
今のユーチューブで動画を保存...
-
人工呼吸器の気管切開患者の緊...
-
天然ユーチューバーをおしえて...
-
CX-8の0~100フル加速タイム解...
-
シュマン幻想曲ハ長調作品17の...
-
神秘的な音楽
-
昔のテレビ番組 清水の次郎長...
-
ボーカロイドの歌
-
水上歩行器
-
フリーウエイトで大腿2頭筋を...
-
相模川でバスが釣れそうな所は...
-
もー最近ぜんぶいやです。病ん...
-
シコるのって一回やって時間が...
-
排水溝にものが詰まってしまい...
-
ユーチューブの音楽だけを転送!
おすすめ情報