締切済み 論理学、述語論理について 2016/07/14 23:18 述語論理式の問題です。 4番の答えを教えて欲しいです。 よろしくお願いします。 この投稿のマルチメディアは削除されているためご覧いただけません。 みんなの回答 （1） 専門家の回答 みんなの回答 tknkk7 ベストアンサー率11% (378/3310) 2016/07/24 04:31 回答No.1 文字拡大：９０度位置ベクトル：手抜き：ペースト貼り付け：頭回転・・・ 広告を見て全文表示する ログインすると、全ての回答が全文表示されます。 通報する ありがとう 0 カテゴリ 学問・教育人文・社会科学経済学・経営学 関連する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はちょうど３つ存在する。」 を論理式で書くとどのようになるのでしょうか? よろしくお願いします。 述語論理の量化子の問いです。 「あなたは任意の教会に行かなければならない。」と「あなたは全ての教会に行かなければならない。」を量化子を使って述語論理の論理式で表して下さい。 天文学のお話。日本ではどのように考えられていた？ OKWAVE コラム 述語論理について 一つ面に窪みがある直方体を述語論理を用いて記述したいのですが、どのように考えればいいのか教えてくれませんか？ 述語論理形式の問題です。 論理述語形式の問題です。 情報科学の授業で予習課題を出されました。 論理述語形式の問題らしいのですが、まだその論理…を習っておらず 教科書を読んでもわからなかったため質問させていただきます。 どなたか解法を教えていただけないでしょうか。 「猫は歩く」は∀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)) この時点で間違っていると思うので，何かアドバイスを頂ければ嬉しいです． よろしくお願い致します． 述語論理におけるコンパクト性 いくらでも大きい有限 述語論理のコンパクト性より 「論理式の集合△は、いくらでも大きな有限集合を議論領域とするモデルによって充足可能ならば、△は無限集合を議論領域とするモデルによって充足可能である」 というものが、出てきますが、 そもそも、このいくらでも大きい有限集合と無限集合とは異なるものなのでしょうか（同じ意味ならば上の定理は何もいってないことになりますよね）。無限集合の定義というのがＺＦＣの無限公理からのものなら帰納的に定義されているものなので、それならいくらでも大きい有限（ｋ→ｋ＋１をいえる）というのと同じなのではないですかね・・・。 また、上の証明では Ａnを「すくなくともn個のものがある」 たとえばＡ2は「∃x1∃x2(x1≠x2)」などとして △∪{A1,A2,A3,A4,A5・・・An・・・} を考えるわけですが・・・の部分はこのままでは無限の論理式を含んだ形になっています、がこれも無限の論理式をそのまま考えることはできないので「無限個の論理式とはどういう意味か」に相当する（おそらくメタ的な）定義があると思うのですが、それはそういったものでしょうか。もしくはそういう定義がないとすると、どう考えればいいのでしょうか。 質問としては、集合のレベルでの無限といくらでも大きい有限とは異なるものなのかということと、論理式の数においてその数が無限とはどういうことを指しているのかということです。 コンパクト性などはモデルと論理式の両方にまたがるメタ的定理なので、その内容に現れる無限という言葉は（「集合における無限」、「論理式の数における無限」として）それぞれの体系での意味としてとらえる必要があるにも関わらず日常語の意味（限りがないというラフな使い方）にひっぱられていることが私の混乱の原因としてあると思うのですが、この分野に明るい方いらっしゃいましたらご回答ください。よろしくお願いします。 述語論理式 下の述語A,B,C,D,K,Sを使用して、つぎの(1)～(6)の６つの日本語文を述語論理式で表現したい。 A( x )：xはA大学の学生である B( x )：xはB大学の学生である C( x )：xはC大学の学生である D( x )：xはD大学の学生である D( x )：xは活動的である S( x , y )：xはスポーツｙを得意とする (1)A大学の学生は活動的である (2)A大学のすべての学生は何らかのスポーツを得意としている (3)B大学の学生には活動的でない学生もいる (4)B大学にはスポーツ万能の（すべてのスポーツを得意のしている）学生がいる (5)すべてのC大学生はすべてのスポーツが得意である (6)D大学にはスポーツ音痴（すべてのスポーツが苦手な人）でない学生がいる 一部でも もし分かる方がいらっしゃいましたら よろしくお願いしますm(__)m 日本史の転換点？：赤穂浪士、池田屋事件、禁門の変に見る武士の忠義と正義 OKWAVE コラム 述語論理の証明について 述語論理の証明について ∃x∀y(p(x)<-p(y))を証明したいのですが、最初の部分しかわかりません。 ∃x￢p(x)V￢∃x￢p(x) ∃x￢p(x) a ￢p(a) ・ ・ ・ ￢∃x￢p(x) ・ ・ ・ 排中律を使って∃x￢p(x)V￢∃x￢p(x)を出して、∃x￢p(x)と￢∃x￢p(x)に場合分けして考えようとしているのですが、このあとどうすればいいのか分かりません。 どなたかよろしくお願いします。 論理数理学（命題論理・述語論理）のテキストやＨＰを探しています! こんにちは。 私は経済学部の大学四年生です。 就職活動が長引き、前期末試験はほとんど無出席で挑む今日この頃ですが、どの先生も情状酌量の余地がなく（涙）、必死こいてテストで点数をとるしかないようなので、特に難しいこの科目は、ネットで助けを仰ぐことにしました。 探しているのは、以下のものをカバーしている練習問題つきのテキストです。 先生が自分でかき集めた講義内容なので、内容が飛び飛びです。 具体的には、最後に載せる問題が解ければ（証明できれば）、試験の問題はないそうです。 （論理的思考法） 論理とは何か 命題論理の言語 連言の推論規則 含意の推論規則 選言の推論規則 否定の推論規則 述語論理の言語 全称の推論規則 存在の推論規則 証明の練習 で、問題は「次のようなNK証明図を書きなさい」 ∃ｘ（Ｆｘ∧Ｇｘ）├∃ｙＧｙ などです。割り算のようなものが３～５段ほど縦に並んだ数式になります。 ネットで色々探しましたが、飛び飛びのものや深すぎるものが多く、これに必要なものだけを効率よく集めたものになかなか出会えません。 その上、分野があいまいで、図書館でもなかなかそれらしい本と出合うことが出来ません。 よろしければ、アドバイスをいただきたく存じます。 よろしくお願いいたします。 主語と述語 小学4年生の子どもに、主語と述語を教えていたのですが、下の文の主語と述語はどうなりますか？ 「ぼくのいもうとは、なわとびがうまい」 主語はいもうと 述語はうまい となるのか、 主語はいもうと 述語はなわとびがうまい になるのか。。。？ 答えはついていないので、ありません。 教えていただけませんか。 論理学で質問です。 条件：「ｘはｙを愛している」、を２変数述語記号LによりＬ（ｘ，ｙ）で表し、太郎と花子をそれぞれ個体定数記号ｔ、ｈであらわすとき、次の命題を表す論理式をつくる。 問：太郎が誰かのことを愛していれば、その人のことを花子は愛していない。 答：∀x（L(t、x)→￢L(h、x)） となっているのですが、 このとき、どうして∃ではなく∀を使うのかがわかりません。 太郎が愛している「誰か」は、「ある～」ではないのでしょうか？ どなたか詳しく解説宜しくお願いしますｍ(＿ ＿)ｍ 記号論理 記号論理（述語論理、命題論理など）は何に役に立つのでしょうか？ 大学の授業であったのですが、何に役立つのか、何に応用出来るのかが全くわかりませんでした。。 ちなみに、コンピュータ系の学科です。 「私は走っている」の、述語は「いる」？ 国語の文法の問題です。 「私は走っている」という文の主語は「私は」ですよね。 では述語は？ 「いる」ですか？それとも「走っている」ですか？ 主語と述語について 主語と述語を問う問題で 「さるは、 ひろった 赤い ろうそくを、だいじに 山へ 持って帰りました。」という問題がでました。 主語は 「さるは」 とすぐ分かりましたが 述語は 「帰りました」と答えたのですが正解は「持って帰りました」でした。 述語が文節の後ろの方ならこの場合 帰りました の文節だけだと思いましたが違うのでしょうか？ その理由がわかりません？教えて頂けないでしょうか？ 記号論理学の問題について 以下の問題の回答が正解かどうか教えてください(__ 答えをなくしてしまいお願いいます。 (1)∃x(x+1＜x) 式が真か偽か答えよ。また限量子を変えて等値な論理式へ変形せよ。 (2)∃x∀yP(x,y) 式を日本語で読め。限量子を変えて等値な論理式へ変形せよ。 (1)は偽で、等値な論理式は￢∀x(￢(x+1＜x)) (2)は日本語で、すべてのyがPであるようなxが存在する。 等値な論理式は￢(∀x∃y(￢p(x,y))) 自分はこんな感じで解きました。 どうでしょうか？ お願いします。 注目のQ&A 「You」や「I」が入った曲といえば？ Part2 結婚について考えていない大学生の彼氏について 関東の方に聞きたいです 大阪万博について 駅の清涼飲料水自販機 不倫の慰謝料の請求について 新型コロナウイルスがもたらした功績について教えて 旧姓を使う理由。 回復メディアの保存方法 好きな人を諦める方法 小諸市（長野県）在住でスキーやスノボをする方の用具 カテゴリ 学問・教育 人文・社会科学 考古学・人類学文学・古典歴史経済学・経営学心理学・社会学地理学美術音楽哲学・倫理・宗教学その他（人文・社会科学） カテゴリ一覧を見る OKWAVE コラム 突然のトラブル？プリンター・メール・LINE編 携帯料金を賢く見直す！格安SIMと端末選びのポイントは？ 友達って必要？友情って何だろう 大震災時の現実とは？私たちができる備え 「結婚相談所は恥ずかしい」は時代遅れ！負け組の誤解と出会いの掴み方 あなたにピッタリな商品が見つかる！ OKWAVE セレクト コスメ化粧品 化粧水・クレンジングなど 健康食品・サプリ コンブチャなど バス用品 入浴剤・アミノ酸シャンプーなど スマホアプリ マッチングアプリなど ヘアケア 白髪染めヘアカラーなど インターネット回線 プロバイダ、光回線など
