No.3ベストアンサー
- 回答日時:
●「真理値関数」つまり論理式のアトム( (A∧B)のA,Bのこと)に真偽値(真,偽)を対応させること、というのと「恒真式」「恒偽式」の関係が混乱していらっしゃるのでは?とお見受けします。
A,B,C,....にどんな風に真,偽を対応させても、論理式全体が真になるような論理式を「恒真式」と言います。例えば(¬A∨B)∨Aのように。
演繹では専ら恒真式から恒真式を作り出すので、推論においては普通は真理値関数の出番はないんですね。真理値関数は、演算子の定義をやるときに使ったっきり、二度とお目に掛からないのが普通ですよ。
●ただ、様相論理のような非古典論理学になるとまた話は違ってきます。
あるいは、命題論理学だけの話(公理は必ずしもなくてよい)なのか、高階述語論理(∀P(P(x))なんてのを許す)なのか、いや論理学じゃなくて、数学における一階述語論理(公理が必要)なのか、それによってもちょっと見方が違ってきます。
●また、ringo2001さんの仰る、論理演算としての⊃と推論規則との混同、というのも確かによくやっちゃいますね。そういうときはA⊃B を ¬A∨B に書き換えると混乱しなくなります。
●さらには「XからYが演繹可能であるかどうか」というような論理体系自体の性質の議論になると、もっと混乱が激しくなる。(おどかしてどうする。)
推論のおいては真理値関数は使わないんですねφ(.. )
そこせへんがこんがらがってるみたい。
頭を整理してもう一度考えてみます
ありがとうございましたm(._.)m ペコッ
No.2
- 回答日時:
推論と論理式の関係がよくわからないというのは、こういう事でしょうか?
例えば、A、B : 論理式として、
(A∧(A→B))→B という論理式と
A、A→Bという2つの論理式からBという論理式を推論するような推論規則との違いがわからないとかそういう疑問でしょうかね。
もう自分でも何がどうわかんないのかわかんない状態です(;。;)
でも、せっかくレス頂けたので頑張ってレポート完成させたいと思います。
ありがとうございますm(__)m
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
整数問題9 激難 続き (2) 私の...
-
実験における誤差範囲の許容範...
-
太平洋戦争中の外国や戦地との...
-
相対誤差が小さいと判断する基...
-
携帯でよく使われる単位「hz」...
-
平均値、標準偏差の有効数字に...
-
計算値と理論値の誤差について
-
電波干渉について
-
電子計測の誤差
-
スマホ同士の電波が干渉して聞...
-
ダイオード検波回路のRとCの求め方
-
シャノンの第二基本定理(通信...
-
周波数帯による伝達情報量のちがい
-
【電気・蛍光灯の安定器はどこ...
-
磁場で電磁波は曲がる?
-
3重解?
-
ペースメーカに悪影響を与える...
-
コレクタ変調回路について
-
石油(軽油)のタンクより 出し入...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
画像の説明で論理式があります...
-
(^_^.) 数学がよくできる人っ...
-
ちょっと複雑な質問でごめんな...
-
「AならばB」で、Aが偽でBが真...
-
除法の種類
-
ブルバキをお読みになったこと...
-
論理学 : unique readability t...
-
数学と論理的思考の関係につい...
-
自然数は減法について閉じている?
-
【数学・乗法公式はどういうと...
-
イプシロンデルタ論法は成り立つか
-
【 数I 場合分けするときの決ま...
-
べき級数展開について
-
真理値表から最も簡単な論理式...
-
論理式を加法標準形、乗法標準...
-
ファジィ理論の加法の演算子に...
-
「屁理屈」VS「当たり前」
-
4項のド・モルガンの法則につ...
-
1bitの半加算器をNANDのみで表す時
おすすめ情報