論理学基礎論

---

前スレが100件近くなってたので新たに。
相変わらず教科書持ち込み可ですね。

---

一度もでとらんのですがいけますか？

---

いけるよ。範囲を知ればあとは教科書で勉強したらいけると思う。
それなりにちゃんと勉強せなあかんけどね。

---

誰か範囲を教えてください！

---

ん？　最後の授業で先生が教えてくれるんでないの？

---

おれ、今年とってないんだけど、今年はセメスター対応したの？

---

前スレはこちら↓
http://www.kyoto-u.com/lounge/yoshida/html/200112/01121015.html

---

ge

---

範囲は１せつから１３せつまで、だそうですよ。

---

どこどこを出すとか言わなかったの？

---

俺も出るとこいうのを期待していたけど、安井氏はどこが出るとは、明言しなかった模様

---

あんまり範囲広くないね。

---

H12年度はこのなかから出すと言っていた。
http://homepage.mac.com/hikarusano/uni/ronkiso2-1.jpg
http://homepage.mac.com/hikarusano/uni/ronkiso2-2.jpg

---

これ何のノート？

---

親切なお方のノートだ

---

前回の授業をすっぽかしちゃったのですが、何がありました？
教えてください。

---

ronkiso2-1.jpgの六項目のうちから五題出すと言っていた（二年前）

---

って、今年は後期一発じゃないの？

---

いやちゃうやろ。

---

前期一発さ！

---

第�T章全部ってことですか？

---

そうだね。

---

ありがとうございます！

---

教科書8ページの（２）（３）の式について教えてください

---

＞と＜を消去する便利なツールでしょ。
イミの問題ではない。

---

＜なんてないわ
うぅ、所詮付け焼刃・・

---

いや　なんでこんな式が成り立つの？

---

８ページにあるじゃん？
Ａ，Ｂに０入れようが1入れようがつねに左辺＝右辺と。
だから「次のような等式が成立する」わけ。

くどいが直感的な納得なぞ無用だよ。・・・とオレは理解。

---

直感的に理解したいなら、(2)は６ページの定義された真理関数を見て、
∨の定義でAの真偽を逆にしたら⊃の対応と等しくなるってことかね。
つまり真理関数は５つもいらないってこと。
〜の付け方の組み合わせを考えれば自明だね。

---

そういうことすね。
４ページの「ＡならばＢ」とか「ＡあるいはＢ」とかの「意味」に
引き回されんことですな。いつも同じ値（真理値）がでるなら
同じ真理関数という形式上のお話。

---

ってかまだなんもやってないですがいけるかな？

---

おれもさっき始めたけど無理っぽい…

---

いやいけるって。

---

教科書って持ち込み可だよね

---

ごめん、一番上に書いてあった

---

終了時間勘違いして逝去。そうか、テストは半期ずつなんだ。

---

あれって実質6割取れてないと不可ですか？

---

簡単だったよ。部屋が寒かった。
クーラー18度になってやがるの。

---

多分ね・・・。

---

俺、この科目、１回の時に受けてた。
論理学は独学でもかなりやってたし、自信もあった。
全問解いて、満点を確信して答案出した。
なのに４０点で落ちてた。。。。

---

俺も同じ。1回の時に受けた。
全問解いて、満点を確信して答案出した。
なのに３０点で落ちてた。。。。。

---

ウーン

---

＞確信して…
それは…表記法が………まずかったのでは…ないか………

---

¬A
〜A

---

＞地獄からの使者

いや、教科書にならって書いたんだが？

---

俺は２回のとき授業も一度も出ずに試験開始１時間前から教科書を読んで過去問見ただけでぎり60点で通りました。ちょっとびびった。

---

後期試験についての話ってもう何かされてますか？

---

後期の試験範囲と（あれば）出るとこ教えて下さい！！

---

>>勝手ながら
去年、通年でありながら５題中４題が第１章から出題していたという傾向からして、そんなに後ろは出ない。ってところまでヒント言っとこう（もちろん、前期の範囲は出ないのだが）。

今回は真面目に対策しておかないと結構やばい。１月の授業両方行ったが、何言ってるのかさっぱりだった。

---

めんつゆさんありがとうございます☆やっぱ過去問が通用しなさそうですね。１月の授業で出るとこは言ったんですか？

---

最後の授業でおおまかだが言った。

ついでに、最後から２回目の授業の際、「来週は試験について触れるので、友達にも出るように伝えといてください」と発言。

---

教科書のどの辺が出るとかは仰っていませんでしたか？もし分かるのならまことに勝手ながら誰か教えていただきたいのですが...。当方最後から二回目は出たのに、風邪引いて最後は出られなかったものです。。（−＿−;）

---

ちょっと甘いよ。俺はこれ以上詰めない。そんなことしたら出てた人に失礼だ。

---

一つ思い出した。あとでうそつきとか言われたくないから書いとこう。

ラッセルのパラドクスが出る「かもしれない」。
これは授業でのみ話した内容で、教科書には載っていない。
それで最後の授業の際に出すかも知れないという旨をほのめかしていた。

---

最後の授業で発表されたという試験範囲、教えていただけないでしょうか？
ほか落としてこれとらんと卒業できんのです。

---

めんつゆさんありがとうございます。もう残り少ないですが範囲知ってる人をさがしてみます

---

ロン起訴もとれないヤシは死んでよし

---

範囲知ってる方、どうか教えて下さい
お願いします

---

第二章述語論理学のところ。勉強のポイントは(教官が言ってた問題の候補は)、
1.p50にあるような推論の例の文章を述語算で使うような記号で表せるようにする。
2.p55の6行目の太線部は必要知識としてチェックすべき。
3.p56太線の4つの付帯条件も重要。それを使っているp58〜62のNQの定理の例題も解けるようにする。
4.p74からにある例1〜9を解けるようにする。
5.ラステルのパラドックスについて(授業で説明しただけで教科書には載ってない。インターネットとか調べよ
ここら辺をおさえとけば、なんとかなると思う。
みんな、単位取れよ！！

---

おお神よ！ほんとにありがとうございます！！

---

神さんありがとうございます！！最高です！

---

ガセネタじゃねぇの？

---

ガセネタ流すんじゃねえよヴォケ

---

とりあえずラステルではないな（笑）

---

つーか、合ってるんじゃないか？

---

授業に出た人間が、情報出回ったのが悔しくてガセだと書いたと思われ。
別に合格者定員が決まってるわけじゃないんだからそこまで過剰反応しなくてもいいと思うんだが…

---

せやね。まあ新しい範囲が提示されず、混乱せんでよかった。

---

神　ヲ　冒　涜　ス　ル　ト　ハ　ナ　ニ　ゴ　ト　ダ

---

Mr.X氏に感謝

---

授業の進度もNQまでだったんですか？

---

またカンニングの嵐だったんだろうなぁ(笑)

---

というか、公認カンニングみたいな状態だけどな(^^;

---

範囲教えてください。持ち込み可ですよね？

---

の情報下され

---

確か、レポとかなかったか？

---