命題論理の文章題

このQ&Aのポイント
  • 大学生の情報工学専攻による命題論理の問題について質問です。
  • 3つのシーンを論理式で表現することができますが、それをまとめる方法が分からないです。
  • ご教授いただける方がいらっしゃれば、お願いいたします。
回答を見る
  • ベストアンサー

命題論理の文章題

はじめまして,大学生で情報工学を専攻しているものですが,このような宿題を課せられました. <問題> 次の3個のシーンを考える. (1) ナオコさん,ハナコさん,キョーコさんがホテルにいます.ナオコさんは健ちゃんの友達で部屋も借りています.大切な健ちゃんとの別れ話がこわいので,青い帽子をかぶって別人のふりをしています.ハナコさんはお金持ちではありませんけれども,健康なので眼鏡もしていません.今日も客室係の制服で働いています.キョーコさんは友達をさがしにきました.いつもと同じ金髪のかつらを着けています. (2) ナオコさんは友達を見つけて,青い帽子の自慢をしています.この友達は健ちゃんとは違うただの友達です.ハナコさんは誘惑に負けてナオコさんのコートを着ています.支配人にばれるとやばいのでサングラスをしています.キョーコさんは友達を見つけたとたんかつらをサクラさんに取られてしまいました. (3) ナオコさんは帽子を持ち主に返して健ちゃんにあやまっています.ただの友達は目をパチパチしてみています.ハナコさんもコートやサングラスをナオコさんに返しました.キョーコさんはかつらを取り返して着けています. (1), (2), (3)の三個のシーンのそれぞれを論理式で表現した上で,全てのシーンを一つの論理式で表現せよ.ただし,ナオコさんが青い帽子を着けていることをc,ハナコさんがサングラスを着けていることをs,キョーコさんが金髪のかつらをしていることをgで表すとする. <問題ここまで> 三つのシーンをそれぞれ論理式で表現することはできましたが,すべてをまとめて一つの論理式で表現する方法がわかりません. どなたかご教授のほどをお願いいたします.

質問者が選んだベストアンサー

  • ベストアンサー
  • tatsumi01
  • ベストアンサー率30% (976/3185)
回答No.1

問題の丸投げは禁止されており、削除対象です。 napsip2 さんが「三つのシーンをそれぞれ論理式で表現することはできました」とおっしゃるなら、その論理式を示して、それを一つにまとめる方法を尋ねたらいかがですか。

napsip2
質問者

補足

すみませんでした.ご指摘ありがとうございます.

関連するQ&A

  • 命題論理がわかりません

    いつもお世話になってます。今、命題論理の勉強しているんですがつぎの2つの問題がどうしてもわかりません。正確に言うと、1つずつやっていけば答えはでるんですが、最短の答えの出し方がわかりません。どこを展開したり、まとめたりすればいいんでしょうか??1問だけでもいいのでおしえてください。 (1)((β∨¬α)∧(γ→β))∨((γ∧β)∨((α∧¬β)→γ)) (2)((α→β)∧(β→α))→((α∧¬β)∨(¬γ→(((α∨β)∧γ)→γ))) おねがいします

  • 命題論理

    次の同値式を付値関数を用いて証明せよ。 (1)A∧B≡¬(A→¬B) (2)A∨B≡¬A→B どなたかお願いします

  • 命題論理

    A= {x ∈ N | (2 | x) } B= {x ∈ N | (3 | x) }とする。 ただし、Nは自然数の集合、a | x は「a は x の約数である」を表す。 N={0,1,2,3・・・ 、100}とし、また、n(A)で集合Aの要素数を表すことにする。 この時、次の等式が成り立つことを示せ。 n(A∪B)=n(A)+ n(B)-n(A∩B) どなたかお願いします

  • 難しい命題論理

    次の命題論理を解きたいのですが分かりません( >_<) もし、分かる方いらっしゃいましたら宜しくお願いします。 (α→¬β)→¬γ ┝ ¬β→¬γ お願いします。

  • 命題論理について

    推論規則である分離の規則において、二つの前提AとA⇒Bが共に、トートロジーならば、結論Bもトートロジーであることを示せ。 トートロジーや分離の規則については理解できるのですが、どうとかっかていいか全く分かりません、お願いします!

  • 命題と論理

    a>0,b>0とする。2ab>1はa^2+b^2>1であるための□条件 という問題なんですが、 2ab>1 → a^2+b^2>1 はa=1,b=2だとすると成り立って、 2ab>1 ← a^2+b^2>1 は同じようにすると成り立つから 必要十分条件いいんでしょうか??

  • 命題論理

    次の同値式を付値関数を用いて証明せよ。 (1)A∨(B∧C)≡(A∨B)∧(A∨C) (2)¬(A∧B)≡¬A∨¬B どなたかお願いします

  • 命題と論理について

    この問題がわかりません。。。 次の命題の違いを述べよ。 1) ∀n(∃m(n<m)) 2) ∃m(∀n(n<m)) 1)「すべてのnについてn<mとなるようなmが存在する」 2)「あるmについてすべてn<mとなるようなnが存在する」になるんですが… 合ってますか? 違ってたら解説お願いしますm(_ _)m

  • ムービーのテロップの一言英語

    友達の結婚式のムービーを作成しているのですが 構成として、 新朗だけの写真→新婦だけの写真→二人の写真 なんですが、 それぞれの写真の移り変わりのシーンで 「太郎側」とか「花子側」を英語で入れたいのですが Taro's side や Hanako's side で表現は正しいでしょうか? また、二人の写真の前に 「二人で」みたいな表現の英語を入れたいのですが どんな英語が良いでしょうか? どうぞよろしくお願いします

  • 名辞論理学は命題論理学に含まれるの?

    http://www.geocities.jp/ise_kyoto/05/logicl12.docでは: 名辞の論理学の展開例として すべての論理学者は人間である いかなる猫型ロボットも人間ではない --------------------------------------------------------- いかなる猫型ロボットも論理学者ではない が挙げられていますが、この三つのそれぞれの文を命題(文)として 考えると、命題関係を表していて、命題論理学になってしまうのではないかと思うのですが、察するに、命題論理学に名辞論理学は含まれるということなのでしょうか?