- 締切済み
トートロジーについて
Caperの回答
- Caper
- ベストアンサー率33% (81/242)
ごめんなさい。訂正です。ANo.6 添付画像 下から 2行目 において。 誤) p.80 下から 2行目 正) p.81 下から 2行目
関連するQ&A
- トートロジーは真理ですか
ウィットゲンシュタインの前期思想に【トートロジーは真理である】と言うのがあります。 条件文の論理式で、(1)(A⇒B)∧(B⇒C)⇒(A⇒C)は、3段論法を示すトートロジーです。 (2)¬(A⇒¬B)⇒(A⇒B)と(3)¬(A⇒¬B)⇒(B⇒A)もトートロジーですが、(2)と(3)からはA⇒BやB⇒Aは¬(A⇒¬B)から、導いたり証明したりではきません。 A⇒Bの具体例を「正三角形は2等辺三角形である」とすれば、B⇒Aは「2等辺三角形は正三角形である」となり矛盾するからです。 3段論法その他の場合は、トートロジーが真理を示し、この例の場合などでは、真理つまり正しい事実を示さないのは、哲学的な分野ではどのように考えるのでしょうか。
- 締切済み
- 哲学・倫理・宗教学
- 論証の妥当性とトートロジーの関係(命題論理)
A1、A2・・・という前提からCという結論を導く論証が妥当である、というのは、妥当という言葉の定義からして、 A1、A2・・・という前提がすべて真であるとき、必ず結論Cも真である。(結論がCで無くなるような場合、すなわち反例は存在しない)という事だ。 ここで、 (A1∧A2・・・)⇒C という論理式を見てみる。この論理式がトートロジーになる場合というのは、真理値分析してみて、 (A1∧A2・・・)が真の時、Cがすべて真 になっていればよい。 そして(A1∧A2・・・)が真の時、というのは、 A1、A2、・・・がすべて真であるとき、 である。つまり、 A1、A2、・・・がすべて真であるとき、Cがすべて真 という条件がそろえば、論理式(A1∧A2・・・)⇒Cはトートロジーである。 ここで、先ほどの、論証が妥当であるための条件、を見てみると、 A1、A2・・・という前提がすべて真であるとき、必ず結論Cも真である、 という風になっている。これはまさに、(A1∧A2・・・)⇒Cがトートロジーであるための条件である。 成り立つ条件が同じであるから、 A1、A2・・・という前提からCという結論を導く論証が妥当であれば、(A1∧A2・・・)⇒Cがトートロジーであり、 (A1∧A2・・・)⇒Cがトートロジーであれば、A1、A2・・・という前提からCという結論を導く論証が妥当である。 といえる。 また、成り立つ条件が同じならば、論理的には同じ意味といってよいので、 A1、A2・・・という前提からCという結論を導く論証が妥当である、という事と、 (A1∧A2・・・)⇒Cがトートロジーである、という事は、同じ事を意味している。 といえる。 かくして、論証の妥当性とトートロジーという概念がつながった。 ☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆☆ 論証の妥当性とトートロジーの関係は、以上のようなもので、問題ないのでしょうか。 下から4行目、成り立つ条件が同じならば論理的には同じ意味になる、というところが、 なんとなく引っかかるのですが、そういうものなんでしょうか。
- 締切済み
- 哲学・倫理・宗教学
- 背理法を用いての証明です。
背理法を用いての証明です。 「任意の実数a,b,cに対し、c<a+b,b<c+a,a<b+cならば0<a,0<b,0<cが成り立つ」を背理法を用いて証明する問題です。 私はc>a+bとした時、c-b>aから求めようとしたのですが、うまく求めることができません。アドバイスの程お願い致します。
- ベストアンサー
- 数学・算数
- 仮言三段論法なのか定言三段論法なのか教えて
http://100.yahoo.co.jp/detail/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86%E5%AD%A6/に、 AならB A ゆえにB という、伝統的論理学の時代に「仮言三段論法」とよばれた推論とありますが、これは定言三段論法ではないのでしょうか? 下記のものが 仮言三段論法ではないのでしょうか? AならBであれば 且つ Aであれば そのときはB
- ベストアンサー
- 哲学・倫理・宗教学
- 背理法について
「a^2+b^2=c^3ならば、a、b、cのうち少なくとも1つは偶数である」 (pならばq) という命題を証明するために背理法を使います。 すると 「a^2+b^2=c^3という条件のもとで a、b、cはすべて奇数である」(pかつ¬q)と仮定することになると思います。 この仮定に矛盾が生じれば背理法が成立しますが この仮定に矛盾が生じるのは 「a,b,cが全て奇数ならば a^2+b^2=c^3 ではない」 (¬qならば¬p)が証明されたときだけなのでしょうか? まだ論理について勉強しはじめたばかりで記号があまり理解できないので 記号は使わずに説明していただけると助かります。
- ベストアンサー
- 数学・算数
- 4つの文字の連立方程式が解けない
もともとは行列の成分比較の問題なのですが、 その過程における4文字の連立方程式が解けないです。 a2乗+bd=1・・・(1) b(a+d)=0・・・(2) c(a+d)=0・・・(3) bc+d2乗=4・・・(4) 自分としては(2)と(3)から、b=c=0かa+d=0のどちらかになるとわかっていて、 結論としては、a=±1 b=c=0 d=±2になると解答にかいてあったのですが, どうして、a+d=0だとこの式が成り立たなくなるのかが証明できません。 解答には証明が載っていませんでした。 背理法とかを用いて証明すればよいと思うのですが、 どなたかどうしてa+d=0だとこの式が成り立たなくなるのかを証明してください。
- ベストアンサー
- 数学・算数
- 背理法の用い方
背理法の用い方について質問があります。 たとえば、教科書に載っている問題で考えると、a,b,cを自然数とするとき、a二乗+b二乗=c二乗ならば、a,b,c,の少なくとも1つは偶数であることを背理法で証明せよ。とあります。 しかし、これの解答をみると、 a,b,cすべてを奇数と仮定すると、a二乗,b二乗,c二乗はすべて奇数になるので、左辺と右辺で矛盾するとあります。 ですが、これって仮定した結論を先にもちいてませんか? たとえば、普通の証明なら、AならばBとあったら、Aにある事柄だけをもちいてBを証明すると思うのですが、背理法の場合は、結論をもちいて矛盾を証明してもよいのでしょうか? わかりにくい文章ですみませんが、ご返答お願いします。
- ベストアンサー
- 数学・算数
お礼
ありがとうございました。