- このトピックには198件の返信、1人の参加者があり、最後に
により19年前に更新されました。
-
投稿
-
ここまで、基本となる真理関数は学習済みって前提で説明しましたけど、>>07の解答編の前に質問を受け付けましょうか？
あと、論理学って自分で真理表作って考えた方が身に付くので、もし、上の説明でひととおり理解できましたら、>>07については自分でいったん真理表を作って考えてみてはいかがでしょうか？解答編はそのあとで、っていう段取り。どう？
ジュウイチさん
とおっても解りやすいです！！
ありがとうございます。。 なーるほどぉ～。。 そういうことね。。「学習のすすめ」で、わかっている人にとなりにいてもらう…と
先生が言っていたのは、「真」でした。。>基本となる真理関数は学習済みって前提
あは！ まだ読んでません。。
真理表もまだよ～ん ちょっと、待って～。。質問したいですが、質問できる状態で無いので、どなたか…
しらすさ～ん、masaakiさ～ん L(‘▽‘)／ オーイジュウイチさん、
丁寧な説明ありがとうございます。07の解答は深夜になってしまいますので、
みなさんのタイミングに合えば
答えてみたいと思います。
只今仕事中（サボり中！）なので。ジュウイチさん
急に思いついた、未熟履修者の素朴な疑問です。。Ｐ Ｑ Ｒ
１ １ １
１ １ ０
１ ０ １
１ ０ ０
０ １ １
０ １ ０
０ ０ １
０ ０ ０とありますが、よかったら言語化してくださいませんか？
めんどくさい事言って、ごめんなさい。。（＾人＾） オ・ネ・ガ・イ♪あれ？、呼ばれました？
上記のｐｑｒの真理表は、論理式と違って、最初からパターン化されてるもの（真偽値の全可能性を表にしたもの）だから、
言語化とかってする必要の無いものでは？
論理式なら言語化出来るのはわかりますが…論理レポは今まで３回出しましたが、恒真の有用性について、自分の着眼が間違っていたことが分かりました。次回は多分大丈夫…（かなぁ…）
erikoさんへ
masaakiさんのおっしゃるとおりで、真理表は言語化するようなものではありませんよ。真と偽の組み合わせを表にしただけですから。
ふ～ん。そうなのですか～。。
言語化 ＝ 意味 を知りたいなぁと素朴に思っちゃって…例えば、Ｐ Ｑ Ｒ
０ １ １
ゴキブリが呼吸をしない、人間は呼吸をする。ゆえに 人間はゴキブリである。
という風に言語化してとらえるのか。。とか 思っちゃいまして。。>真と偽の組み合わせを表にしただけですから。
…というと、何通りあるかという組み合わせの問題で中身はどうでもいいのですか？…はは、初心者だと何でも聞けていいなぁ～。。
ゼンゼン恥ずかしくないもんね。。 ヨロシクです ＜ 先行く先輩方ジュウイチさん、
大変遅くなってしまいました。
07：に答えてみたいと思います。まず、 女性は出産能力がない。
アリストテレスは女性である。
したがって、アリストテレスは出産能力がない。
という推論を真理関数に対応させるために
表現を変えます。
すなわち、
（（女性ならば出産能力がない。）かつ（アリストテレスならば女性である。））
ならば、（アリストテレスならば出産能力がない。）これを記号化するために
女性：Ｐ
出産能力がない：Ｑ
アリストテレス：Ｒ とすれば、（（Ｐ⊃Ｑ）∧（Ｒ⊃Ｐ））⊃（Ｒ⊃Ｑ） と記号化された推論式にできるのではないでしょうか？
これを真理表にすれば
P Q R （ P⊃Q） （R⊃P） （P⊃Q∧R⊃P） （R⊃Q） （(P⊃Q∧R⊃P））⊃（R⊃Q）
1 1 1 1 1 1 1 1
1 1 0 1 1 1 1 1
1 0 1 0 1 0 0 1
1 0 0 0 1 0 1 1
0 1 1 1 0 0 1 1
0 1 0 1 1 1 1 1
0 0 1 1 0 0 0 1
0 0 0 1 1 1 1 1したがってこの推論式は恒真式であり、
その対応する07の推論は恒真命題である。こうした説明、いかがでしょうか？
↑、文字が乱れております。
スミマセン。。。。。erikoさん
>>真と偽の組み合わせを表にしただけですから。
>…というと、何通りあるかという組み合わせの問題で中身はどうでもいいのですか？真理表を言語化しても、煩雑になるだけですよ。すべての組み合わせについて言語化して頭の中が整理されるかと言えば、逆に混乱するだけです。真理関数がどういうものか、「論理学(L)」のテキストp.9～13を見て下さいな。
コンノさん
だいたいそれでいいと思います。ただ、細かいことを言えば(論理学なんで細かいところには気を配っておいた方がいいかと…＾＾；)、「出産能力がない」に関しては、これ自体が否定詞を伴っていますから、「出産能力がある」をＱとおいて、￢Ｑで表した方がより正確だと思います。
コンノさんのご説明のポイントは女性は出産能力がない。…a
アリストテレスは女性である。…b
したがって、アリストテレスは出産能力がない。…caもbもcも、すべて分子命題だと見破ったところにあると思います。>>08のときには前提(1)(2)がともに文の構造が同じで、否定詞や接続詞を使わない原子命題だったため、文そのものを記号化できました。
>>07の場合、
女性：Ｐ
出産能力がない：Ｑ
アリストテレス：Ｒ
というふうに、単語を記号化しなければ、論理式が組み立てられないんですよね。ただし、記号化するのはあくまでも文なので、上の場合
女性である：Ｐ
出産能力がある：Ｑ
アリストテレスである：Ｒ
とした方がいいでしょうね。さて、私の用意した解答はa、b、cをそれぞれ「××であり、かつ○○である」というふうに連言で捉えたところが、コンノさんとは異なっています。
PQRの真理表は>>15で示したのと同じですから、以下ではQの否定を示しておきます。Ｐ ￢Ｑ Ｒ Ｐ∧￢Ｑ Ｐ∧Ｒ (Ｐ∧￢Ｑ)∧(Ｐ∧Ｒ) Ｒ∧￢Ｑ ((Ｐ∧￢Ｑ)∧(Ｐ∧Ｒ))⊃(Ｒ∧￢Ｑ)
１ ０ １ ０ １ ０ ０ １
１ ０ ０ ０ ０ ０ ０ １
１ １ １ １ １ １ １ １
１ １ ０ １ ０ ０ ０ １
０ ０ １ ０ ０ ０ ０ １
０ ０ ０ ０ ０ ０ ０ １
０ １ １ ０ ０ ０ １ １
０ １ ０ ０ ０ ０ ０ １コンノさんの真理表同様、恒真になっていますから、この推論は正しいということになります。
自然言語で確認しましょう。Ｐを「女性である」から「男性である」に変えます。男性は出産能力がない。
アリストテレスは男性である。
したがって、アリストテレスは出産能力がない。なんのおもしろみもない、ふつーの文になりましたね。
魚は卵を産む。…I
鯨は魚である。…II
ゆえに鯨は卵を産む。…IIIこれも(内容が正しいのはIだけであるにも関わらず)推論は正しいことになります。(例が出産関係ばっかだな。)
すんげ～！論理学ワールドが出来てる。
すっかり出遅れたしらすです。先日、総合の論理学がまたもやD返却されて、沈んでました。
1月の試験勉強を始める前に このレポを何とか仕上げたいとは思っているのですが、
年賀状とかもあるし、１２月はやっぱ厳し～いっす。ジュウイチさん アドバイスいろいろありがとうございます。
>>16
>基本となる真理関数は学習済みって
>>26
真理関数がどういうものか、「論理学(L)」のテキストp.9～13を見て下さいな…というと、専門のテキストですね。
総合の論理学を履修するのでも、専門のテキストの把握が先
ということになるのですか？あ、いや。
まだ、まだ総合のテキスト自体、理解できていない状態なんで
ホントに「何言ってんの？」っていう感覚でしょうね～。。しらすさん
やっと、お声が聞けてうれしいですぅ～。。解っている方にくっついて、頑張りましょうね～
しらすさんの？はどこにあるのでしょう。もしかしたら、ジュウイチさんからヒントがあるかもですね。。
erikoさん
ああ、わたしは専門の方しか持ってないのでそっちで確認しただけなんですよ。
erikoさんも持ってるだろうなと思って。総合のテキストで真理関数について説明してあるページがあれば、そこでもいいと思います。
どっちのテキストにしろ、とにかく真理関数がどういうものかを理解しないと総合科目のレポ課題には答えられないし、そのためにはわたしが出した問題のポイントが分からなければならないということになります。総合の論理学のレポート、今年４回目にしてようやく合格。しかもＡ評価
のおまけつきでした。今読み返しても最初のレポートの内容は我ながら
ひどいなと思うようなものでしたが、返却の度に丁寧な講評をいただきな
がら頑張り、最後には「良好なレポート」の評価をいただきました私は経済学部なのでその手の専門家でもないのですが、やはり繰り返し
やっていくと、それなりの成果は得られると思います。使った参考文献で
は三浦俊彦さんの「論理学入門」に随分お世話になりました。テキストと
これだけで総合の方はレポート作りました。もちろんほかのも見ましたが
結局はこれだけだったという感じです。この2冊をじっくり読めば道は開か
れるのではないでしょうか。実感としては、試行錯誤をしましたが、４回目
のレポート作成時にふと「あ、そういうことか」って感じになり、結構いい
レポートになりました。それまではだめもと気分だったのに、４回目の時
はちょっと自信ありました。それでもCかなと思いましたけど
- このトピックに返信するにはログインが必要です。