• 締切済み

論理学、述語論理について

述語論理式の問題です。 4番の答えを教えて欲しいです。 よろしくお願いします。

この投稿のマルチメディアは削除されているためご覧いただけません。

みんなの回答

  • tknkk7
  • ベストアンサー率11% (378/3311)
回答No.1

文字拡大：９０度位置ベクトル：手抜き：ペースト貼り付け：頭回転・・・

  1. カテゴリ
  2. 学問・教育
  3. 人文・社会科学
  4. 経済学・経営学

関連するQ&A

  • 二階述語論理と高階述語論理について

    (1)二階述語論理というものが調べても分からないのですが、一階述語論理の発展形なのでしょうか。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1110226389... 具体例を調べても、これぐらいしか出てきませんでした。 例えば、対象aの性質Pについて、一階述語論理だとP(a)と書けますね。 二階述語論理では対象だけでなく述語も量化できるそうですが、すると、P(a)を量化してQ(P(a))といった記述が可能になるのでしょうか。 (2)二階述語論理のさらに上の三階・四階述語論理といったものは存在しないのでしょうか。 (3)高階述語論理と二階述語論理の関係は何でしょうか。 二階述語論理が、高階述語論理の一部なのでしょうか。

  • 述語論理

    「述語p(x)を満たすxはちょうど３つ存在する。」 を論理式で書くとどのようになるのでしょうか? よろしくお願いします。

  • 述語論理の量化子の問いです。

    「あなたは任意の教会に行かなければならない。」と「あなたは全ての教会に行かなければならない。」を量化子を使って述語論理の論理式で表して下さい。

  • 述語論理について

    一つ面に窪みがある直方体を述語論理を用いて記述したいのですが、どのように考えればいいのか教えてくれませんか？

  • 述語論理形式の問題です。

    論理述語形式の問題です。 情報科学の授業で予習課題を出されました。 論理述語形式の問題らしいのですが、まだその論理…を習っておらず 教科書を読んでもわからなかったため質問させていただきます。 どなたか解法を教えていただけないでしょうか。 「猫は歩く」は∀x[猫(x)→歩く(x)] 「xは怪我していない」は→怪我している(x) と書ける。 では、自然言語文:「怪我した猫は歩けない」を 述語論理形式で記述せよ。 という問題です。よろしくお願いします。

  • 高階述語論理について質問です！！

    二階述語論理では、Henkin semanticsのもとで完全性定理が成り立つそうですが、これは二階以上の高階述語論理でも成り立ちますか？ 詳しい方よろしくお願いします！！

  • 一階述語論理式が勉強できる参考書

    一階述語論理式が勉強できる参考書を教えて下さい。 添付画像のような問題を解かなくてはならないので、 参考にできる資料を教えていただけませんか？ よろしくお願いします！

  • 「述語的」とは?

    「述語的」とは? 最近「述語的」という言葉があることに気づきました。 文法の話をしているわけでもないようです。 大抵「○○の話は述語的で…」と批判しているように見えます。 検索してみても「主語的とは主体的と言ってもよく、 述語的とはその反対、でも客体的とは違う」という 感じの掴み所の無い説明しかありませんでした。 「述語的」とはどういう意味なのでしょうか? なるべく平易な言葉でご説明いただけると嬉しいです。 論理学でも「述語」という言葉は使われているようですが 文法学や論理学と関係のある言葉なのでしょうか?

  • 述語論理の学習方針について

    「論理学をつくる」（名古屋大学出版 外山田和久）で 論理学を勉強し始めた者です。 順調に読み進めてきたのですが、述語論理の意味論 （セマンティクス）へ足を踏み入れた途端、訳が解らなく なって困っております。 「モデル」、「変種」、「アサインメント」など、急に概念の レベルが高く感じられるような用語が多用されており、 そもそも何を目的としているのかが理解できなくなって おります。 意味論ということなので、論理式の真偽について議論 する分野だと思うのですが、抽象語が多く足踏みをして いる状態です。 考え方のコツがあれば、教えて下さい。 よろしくお願いします。

  • 述語論理の問題です．

    述語論理の問題です． 仮定：「(1)St.Francisは，誰かを愛するすべての人から愛される」 「(2)人間は，誰も愛さないことはない」 結論：「(3)St.Francisはすべての人から愛される」ことを証明せよ． 論理式で表現するところまで私なりの解答を載せました． P(x)は「xは人間である」，Love(x, y)は「xはyを愛する」を意味するとする． (1)(∃x)((P(x) → (∃y)(P(y) ∧ Love(x, y)) → Love(x, St.Francis)) (2)(∀x)(P(x) → (∃y)(P(y) ∧ Love(x, y))) (3)(∀x)(P(x) → Love(x, St.Francis)) この時点で間違っていると思うので，何かアドバイスを頂ければ嬉しいです． よろしくお願い致します．

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する