
No.5ベストアンサー
- 回答日時:
#2,#4です。
A#4の補足質問に対する回答
> (1) ○
> (2)次にQかつRを考えます。するとQかつRの中にはQかつRかつPも含まれることにならないでしょうか。(色を塗るなら木の葉型)
含まれますが、「(¬P) ∨(Q∧R)」のうちの(Q∧R)に含まれるので、何の問題もないですね。
少し詳しく書けば以下のようになります。
Q∧R = (Q∧R)∧{P∨(¬P)}
= {(Q∧R)∧P} ∨ {(Q∧R)∧(¬P)}
{(Q∧R)∧P} が Pの中に含まれる(Q∧R)<木の葉>の一部 …(A)
{(Q∧R)∧(¬P)} が Pの外の(Q∧R)<木の葉>の部分 …(B)
です。
この2つの領域はQに含まれますので (¬PVQ) の一部になります。
> ※もしくはこのときに「Pを含まない」QかつRを選択すればよいのでしょうか。
両方とも選択すればいいです。
<木の葉>領域(A)の領域は「(¬P) ∨(Q∧R)」の(Q∧R)の方に含まれ、(B)の領域は 「(¬P) ∨(Q∧R)」の(¬P)の方に含まれます。
> こう考えると、[¬PV(QかつR)]はQとなることが理解できます・・
Qとなりませんよ。(B)の領域になります。
この回答への補足
わかりました!本当にうれしいです!
あとお恥ずかしい話ですが、info22さんの説明を読ませていたただいて、私は大きな勘違いからスタートをしていたこともわかりました。
それは
[¬PV(QかつR)]V(Qかつ¬R)≡¬PVQ
において、[¬PV(QかつR)]は¬P、(Qかつ¬R)はQのことだと
思っていたので、なぜベン図を書いて理解できるのか、悩んでいました・・・しかしそこがまちがいの元凶でした。
今日突然すべてが理解できたので、本当に助かりました。
ここまで細かく教えていただき感謝の言葉もありません。
ありがとうございました!
この問題は実はもっと長い問題です。
解答の途中までは理解できたのですが、最後のこの一文
[¬PV(QかつR)]V(Qかつ¬R)≡¬PVQ
で止まってしまい、悩んでいました。
最近少しだけ論理の勉強をはじめたので、まったくの素人ですが、
info22さんのおかげで大変勉強させていただきました。
また機会がありましたら、質問させていただきたく思います。
お忙しい中お時間をさいていただき、ありがとうございました!!
No.4
- 回答日時:
#2です。
A#2の補足質問について
> [¬PV(QかつR)]V(Qかつ¬R)≡¬PVQでした。
今度の論理式は正しくなりました。
> あとベン図で¬PV(QかつR)の部分を考えると、
> QかつRを考えるとき、全体集合の中にQ、P、Rの集合を一緒に考えれば
> いいでしょうか。
数学の文章は国語の文章ではないですから短く的確に区切って書いて下さい。
ベン図は、色の3原色混合のような3つの円が互いに交差するように描いて、それぞれの円内を論理変数P,Q,Rに割り当てます。そして3円を全て含むように、全体集合を表す四角で囲みます。
そして、部分論理式とベン図を常に対比して考えます。
したがって、部分論理式の領域をベン図上に描く時は、P,Q,Rの内部や外部の¬P,¬Q,¬R領域を一緒に扱わないといけませんね。
> そうなると、QかつRを考えるとき、Rも少し入ると考えてはいけないのでしょうか。
意味不明で理解不能です。
> しかし、次の段階の¬PVとの関係を含めて考えると、最終のベン図はP以外+ちょっとPも入るといった図になってしまい、¬Pにはならないと思ってしまって悩みます・・・
国語の文章と違いますので、数学の文章は、短く区切って単純明快に書いてください。あなたが混乱しているだけです。あなたが単純明快に理解できているなら、理解し辛い文章を書かれないでしょうから。
正しいベン図をしっかり描くこと、そして論理式の演算子の優先順位にしたがって順々にベン図を八チングで塗りつぶしていくだけです。
そう言った図を順々に描いて並べながら、証明の説明文を書いていけばいいでしょう。
演算の順序の優先順位は
( )と[] > ¬ > かつ(∧)> または(∨)
また( )や[ ]は内部の括弧ほど優先順位が高いですね(先に論理演算する。つまりその部分の論理式の領域をベン図に先に書き込む)。
この回答への補足
ご指摘の通り、乱文でした。大変失礼いたしました。
(1)まず全体集合の中に、色の三原則のような3つの輪を書きます。
それぞれP,Q,Rとします。
(2)次にQかつRを考えます。するとQかつRの中にはQかつRかつPも含まれることにならないでしょうか。(色を塗るなら木の葉型)
※もしくはこのときに「Pを含まない」QかつRを選択すればよいのでしょうか。
こう考えると、[¬PV(QかつR)]はQとなることが理解できます・・
申し訳ありませんが、もう一度お願いいたします。
No.3
- 回答日時:
ベン図とか描いてもいいけど, 単純にゴリゴリ計算するだけです.
(Q∧R)∨(Q∧¬R) = Q に気付けばほぼ一瞬.
この回答への補足
(Q∧R)∨(Q∧¬R) = Qはわかります!
ただ、そこからどうして[¬PV(QかつR)]V(Qかつ¬R)≡¬PVQになるのがわかりません。[¬PV(QかつR)]は中カッコがついてるので、そこはどう考えたらいいのでしょうか?もしくは「V(または)」なので無視していいのでしょうか。
[¬PV(QかつR)]V(Qかつ¬R)≡¬PVQは
¬PV(QかつR)V(Qかつ¬R)≡¬PVQと同じと考えていいのでしょうか。そうなると(QかつR)V(Qかつ¬R)部分がQとなるので、
結果¬PVQと考えていいのでしょうか。
No.2
- 回答日時:
>ベン図を書いて考えるのでしょうか。
その通りです。
> [¬PV(QかつR)]V(Qかつ¬R)≡PVQ
この論理式は成立しません。
[P V(QかつR)]V(Qかつ¬R)≡P V Q
なら成立します。
この回答への補足
すみません!まちがいました。
[¬PV(QかつR)]V(Qかつ¬R)≡¬PVQでした。
あとベン図で¬PV(QかつR)の部分を考えると、
QかつRを考えるとき、全体集合の中にQ、P、Rの集合を一緒に考えれば
いいでしょうか。そうなると、QかつRを考えるとき、Rも少し入ると考えてはいけないのでしょうか。しかし、次の段階の¬PVとの関係を含めて考えると、最終のベン図はP以外+ちょっとPも入るといった図になってしまい、¬Pにはならないと思ってしまって悩みます・・・
No.1
- 回答日時:
>このような問題はベン図を書いて考えるのでしょうか。
>それとも真理表を使いますか?
変数が3つくらいまでならベン図でもいけるでしょう。
真理表の方が簡単明瞭ですが。
すみません!今ひらめきました!
※上に書かせていただたいたように、問題文が打ち間違えていました。
[¬PV(QかつR)]V(Qかつ¬R)≡¬PVQ が正しい文です。
よく見ると真理表が間違っていました。
あとはベン図が書けるように頑張ります!
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 高校 有効数字計算 確定した値を含む 2 2023/01/18 06:03
- 工学 電気回路の問題の質問 6 2022/05/22 07:20
- 分譲マンション マンション大規模修繕工事の資金不足 神奈川県の築37年総戸数36戸のマンションの管理組合理事長を今年 7 2022/09/03 19:55
- 工学 非言語分野が全くできない人にオススメの参考書を教えてください 1 2023/06/01 16:15
- 発達障害・ダウン症・自閉症 中学の時にIQ82の境界知能と診断されました。 今の私も、やはり境界知能でしょうか? そしてこれは、 3 2023/02/19 00:37
- 高校受験 【受験まで残り3日】誰かアドバイス下さい。もう参考書を全て終わらせる時間が無いです。 私は理社の点数 2 2023/02/11 18:12
- 工学 材料力学(構造力学?)についての問題です。 写真のような形で部材CDの内力を考えます。 C点からの距 1 2022/11/22 00:41
- 統計学 統計検定2級の過去問について 1 2023/01/04 16:40
- 物理学 温度と体積について。 2 2022/10/25 09:54
- 哲学 これは何だろう? 2 2022/08/09 23:02
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
平均値、標準偏差の有効数字に...
-
実験における誤差範囲の許容範...
-
相対誤差が小さいと判断する基...
-
新石器時代の人たちが太平洋の...
-
監視カメラの赤外線は安全なのか
-
2進数の減算のオーバーフロー/...
-
3重解?
-
占有周波数帯域幅と最大周波数...
-
石油(軽油)のタンクより 出し入...
-
FM波のS/N改善係数について
-
有効数字について 化学の計算問...
-
拡散定数から拡散速度を求める...
-
デジタルテスターの精度の意味
-
周波数と帯域幅について。
-
携帯電話、なぜ混信しないの?...
-
占有周波数帯域幅の求め方
-
太平洋戦争中の外国や戦地との...
-
電波通信にかかる時間
-
大理石って電波を通しますか?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
命題変数をP,Q,Rとする論理式 R...
-
【数学・乗法公式はどういうと...
-
論理回路の問題で
-
演繹
-
2進法とブール代数について
-
数学的な思考力をつけられるお...
-
ブール代数の問題
-
ド・モルガンの法則が本当に効...
-
論理回路 QM法のやり方
-
高階述語論理について質問です!!
-
代数学の質問です[準同型写像の...
-
乗法公式の展開の仕方を教えて...
-
判断推理(論理)
-
数学と論理的思考の関係につい...
-
乗法標準形
-
何故理系の方が論理的な文章を...
-
「AならばB」で、Aが偽でBが真...
-
イプシロンデルタ論法は成り立つか
-
数学をする奴とか数学が楽しい...
おすすめ情報