-PR-
締切済み

アルゴリズム

  • すぐに回答を!
  • 質問No.26418
  • 閲覧数350
  • ありがとう数8
  • 気になる数0
  • 回答数2
  • コメント数0

お礼率 0% (0/3)

『アルゴリズムの論理学』という本を勉強している学生なんですがどうしても分からないところがありまして教えて下さい。

以下の文を述語理論の範囲で記号化し、かつその妥当性を考えよう
1.人間は理性的であるが、感情的でもある。人間のなかには社会的ではないものがいる。従って、理性的なもののうちにも社会的ではないものがいることになる。
2.すべて人間は完全ではない。道徳的な人も人間である。従って、すべての道徳的な人が完全であるとはいえない。
3.被相続人の財産は相続人がいないとき、かつそのときに限り、国庫に帰属することになっている。ところで、被相続人のこは法的には相続人であると認められる。従って、被相続人の財産で国庫に帰属されるものがあった場合には、その財産の被相続人には子がいないはずだ。
通報する
  • 回答数2
  • 気になる
    質問をブックマークします。
    マイページでまとめて確認できます。

回答 (全2件)

  • 回答No.1
レベル14

ベストアンサー率 57% (1014/1775)

これはアルゴリズムじゃなくて、述語理論じゃなくて、「述語論理」ですね。 推論はご自分でやれますか?(勉強にならないです。) ⊃は⇒、≡は⇔、¬は~とも書かれます。 1.人間は理性的であるが、感情的でもある。人間のなかには社会的ではないものがいる。従って、理性的なもののうちにも社会的ではないものがいることになる。 xが人間: H(x), xが理性的: R(x)、xが感情的: K(x)、xが社 ...続きを読む
これはアルゴリズムじゃなくて、述語理論じゃなくて、「述語論理」ですね。
推論はご自分でやれますか?(勉強にならないです。)

⊃は⇒、≡は⇔、¬は~とも書かれます。
1.人間は理性的であるが、感情的でもある。人間のなかには社会的ではないものがいる。従って、理性的なもののうちにも社会的ではないものがいることになる。
xが人間: H(x), xが理性的: R(x)、xが感情的: K(x)、xが社会的: S(x)
∀x (H(x) ⊃ (R(x) ∧ K(x)))
∃x (H(x)∧¬S(x))
故に、∃x (R(x)∧¬S(x))
2.すべて人間は完全ではない。道徳的な人も人間である。従って、すべての道徳的な人が完全であるとはいえない。
xが完全: C(x), xが道徳的な人: D(x)
∀x(H(x) ⊃ ¬C(x))
∀x(D(x)⊃H(x))
故に、¬(∀x(D(x)⊃C(x)))
3.被相続人の財産は相続人がいないとき、かつそのときに限り、国庫に帰属することになっている。ところで、被相続人のこは法的には相続人であると認められる。従って、被相続人の財産で国庫に帰属されるものがあった場合には、その財産の被相続人には子がいないはずだ。
xは被相続人でyはその相続人:Z(x,y)、yはxの子: F(x,y), 被相続人xの財産が国庫に帰属されるB(x)
∀x (B(x)≡¬∃y(Z(x,y)))
∀x∀y (F(x,y)⊃Z(x,y))
故に∀x(B(x)⊃¬∃yF(x,y))
どのあたり、わからないのか補足してください。
補足コメント
tigar

お礼率 0% (0/3)

質問に対して応じて下さったことに感謝します。
わたしが望んだ答えではありませんでしたが参考にはなりましたんで、ありがとうございました。
投稿日時 - 2001-01-12 12:22:51
関連するQ&A


  • 回答No.2
レベル14

ベストアンサー率 57% (1014/1775)

大抵の方は、自然言語から記号への変換でひっかかるので、そうかな、とおもったんですが..... > どうしても分からないところ ってどういう点だが、具体的に補足していただけませんでしょうか。
大抵の方は、自然言語から記号への変換でひっかかるので、そうかな、とおもったんですが.....

> どうしても分からないところ

ってどういう点だが、具体的に補足していただけませんでしょうか。
このQ&Aで解決しましたか?
関連するQ&A
-PR-
-PR-
このQ&Aにこう思った!同じようなことあった!感想や体験を書こう
このQ&Aにはまだコメントがありません。
あなたの思ったこと、知っていることをここにコメントしてみましょう。

その他の関連するQ&A、テーマをキーワードで探す

キーワードでQ&A、テーマを検索する
-PR-
-PR-
-PR-

特集


新大学生・新社会人のパソコンの悩みを解決!

いま みんなが気になるQ&A

関連するQ&A

-PR-

ピックアップ

-PR-
ページ先頭へ