-PR-
解決済み

演繹

  • 暇なときにでも
  • 質問No.30444
  • 閲覧数197
  • ありがとう数9
  • 気になる数0
  • 回答数3
  • コメント数0

お礼率 91% (529/579)

演繹的推論における推論と論理式の関係があまりよくわかりません。
真理関数そのものは推論ではないっていうし・・・
(?_?)
通報する
  • 回答数3
  • 気になる
    質問をブックマークします。
    マイページでまとめて確認できます。

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

  • 回答No.3
レベル14

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

●「真理値関数」つまり論理式のアトム( (A∧B)のA,Bのこと)に真偽値(真,偽)を対応させること、というのと「恒真式」「恒偽式」の関係が混乱していらっしゃるのでは?とお見受けします。
 A,B,C,....にどんな風に真,偽を対応させても、論理式全体が真になるような論理式を「恒真式」と言います。例えば(¬A∨B)∨Aのように。
演繹では専ら恒真式から恒真式を作り出すので、推論においては普通は真理値関数の出番はないんですね。真理値関数は、演算子の定義をやるときに使ったっきり、二度とお目に掛からないのが普通ですよ。

●ただ、様相論理のような非古典論理学になるとまた話は違ってきます。
 あるいは、命題論理学だけの話(公理は必ずしもなくてよい)なのか、高階述語論理(∀P(P(x))なんてのを許す)なのか、いや論理学じゃなくて、数学における一階述語論理(公理が必要)なのか、それによってもちょっと見方が違ってきます。

●また、ringo2001さんの仰る、論理演算としての⊃と推論規則との混同、というのも確かによくやっちゃいますね。そういうときはA⊃B を ¬A∨B に書き換えると混乱しなくなります。

●さらには「XからYが演繹可能であるかどうか」というような論理体系自体の性質の議論になると、もっと混乱が激しくなる。(おどかしてどうする。)
お礼コメント
kurukuru

お礼率 91% (529/579)

推論のおいては真理値関数は使わないんですねφ(.. )
そこせへんがこんがらがってるみたい。
頭を整理してもう一度考えてみます
ありがとうございましたm(._.)m ペコッ
投稿日時 - 2001-01-30 19:53:35
-PR-
-PR-

その他の回答 (全2件)

  • 回答No.1
レベル14

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

公理:いくつかの与えられた論理式
推論規則:いくつかの与えられた規則であり、いくつかの論理式から新しい論理式を作り出すのに使って良い(これ以外は使っちゃダメ)。
定理:公理だけを出発点として推論規則だけを使って作り出された論理式。
理論:与えられた公理と推論規則から作り出せるあらゆる論理式。

で、演繹とは「推論規則を使って新しい論理式を作ること」です。
お礼コメント
kurukuru

お礼率 91% (529/579)

レスありがとうございます。
参考になりましたφ(.. )メモメモ
投稿日時 - 2001-01-30 00:18:27


  • 回答No.2
レベル8

ベストアンサー率 33% (8/24)

推論と論理式の関係がよくわからないというのは、こういう事でしょうか?
例えば、A、B : 論理式として、

(A∧(A→B))→B という論理式と

A、A→Bという2つの論理式からBという論理式を推論するような推論規則との違いがわからないとかそういう疑問でしょうかね。
お礼コメント
kurukuru

お礼率 91% (529/579)

もう自分でも何がどうわかんないのかわかんない状態です(;。;)
でも、せっかくレス頂けたので頑張ってレポート完成させたいと思います。
ありがとうございますm(__)m
投稿日時 - 2001-01-30 00:20:46
このQ&Aで解決しましたか?
AIエージェント「あい」

こんにちは。AIエージェントの「あい」です。
あなたの悩みに、OKWAVE 3,500万件のQ&Aを分析して最適な回答をご提案します。

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

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

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

特集


専門家があなたの悩みに回答!

-PR-

ピックアップ

-PR-
ページ先頭へ