No.3ベストアンサー
- 回答日時:
●「真理値関数」つまり論理式のアトム( (A∧B)のA,Bのこと)に真偽値(真,偽)を対応させること、というのと「恒真式」「恒偽式」の関係が混乱していらっしゃるのでは?とお見受けします。
A,B,C,....にどんな風に真,偽を対応させても、論理式全体が真になるような論理式を「恒真式」と言います。例えば(¬A∨B)∨Aのように。
演繹では専ら恒真式から恒真式を作り出すので、推論においては普通は真理値関数の出番はないんですね。真理値関数は、演算子の定義をやるときに使ったっきり、二度とお目に掛からないのが普通ですよ。
●ただ、様相論理のような非古典論理学になるとまた話は違ってきます。
あるいは、命題論理学だけの話(公理は必ずしもなくてよい)なのか、高階述語論理(∀P(P(x))なんてのを許す)なのか、いや論理学じゃなくて、数学における一階述語論理(公理が必要)なのか、それによってもちょっと見方が違ってきます。
●また、ringo2001さんの仰る、論理演算としての⊃と推論規則との混同、というのも確かによくやっちゃいますね。そういうときはA⊃B を ¬A∨B に書き換えると混乱しなくなります。
●さらには「XからYが演繹可能であるかどうか」というような論理体系自体の性質の議論になると、もっと混乱が激しくなる。(おどかしてどうする。)
この回答へのお礼
お礼日時:2001/01/30 19:53
推論のおいては真理値関数は使わないんですねφ(.. )
そこせへんがこんがらがってるみたい。
頭を整理してもう一度考えてみます
ありがとうございましたm(._.)m ペコッ
No.2
- 回答日時:
推論と論理式の関係がよくわからないというのは、こういう事でしょうか?
例えば、A、B : 論理式として、
(A∧(A→B))→B という論理式と
A、A→Bという2つの論理式からBという論理式を推論するような推論規則との違いがわからないとかそういう疑問でしょうかね。
この回答へのお礼
お礼日時:2001/01/30 00:20
もう自分でも何がどうわかんないのかわかんない状態です(;。;)
でも、せっかくレス頂けたので頑張ってレポート完成させたいと思います。
ありがとうございますm(__)m
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
(^_^.) 数学がよくできる人っ...
-
電磁波測定器の測定結果について
-
実験における誤差範囲の許容範...
-
電気信号と電波の違いを教えて...
-
3重解?
-
携帯でよく使われる単位「hz」...
-
広帯域だとなぜ大容量?
-
個人に嫌がらせする電磁波攻撃...
-
磁場で電磁波は曲がる?
-
大理石って電波を通しますか?
-
GPS電波について
-
電波の影響でストーブの電源が...
-
純粋公共財の問題
-
有効数字について 化学の計算問...
-
誤差を含む数値同士を掛け算し...
-
拡散変態、無拡散変態、サブゼ...
-
円周率「π」が、10桁で割り切...
-
TVなどのリモコンの先端に着...
-
平均値、標準偏差の有効数字に...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
(^_^.) 数学がよくできる人っ...
-
論理式を加法標準形、乗法標準...
-
正直者とうそつきを見分ける質...
-
「AならばB」で、Aが偽でBが真...
-
ちょっと複雑な質問でごめんな...
-
【論理】正直者・あまのじゃく...
-
【数学・乗法公式はどういうと...
-
除法の種類
-
信頼度の事を教えて下さい。お...
-
論理回路
-
数学と論理的思考の関係につい...
-
XOR をNAND素子のみを用いて表...
-
1bitの半加算器をNANDのみで表す時
-
論理回路 QM法のやり方
-
論理式 簡単化
-
「偶然」のパラドックス
-
論理式の簡略化
-
純粋数学とはどんなものかを説...
-
【論理演算子?】AND、OR、XOR...
おすすめ情報