もしも授業受けてる人が読んでも多分役立たないのであしからず。今回はいきなりレゾリューション原理。日本語では「導出原理」と呼ばれるらしい。 http://ysserve.cs.shinshu-u.ac.jp/Lecture/SymbolLogic/node52.html http://kaz.cyteen.nagoya-bunri.ac.jp…

今日はボスの学部の授業に出席。ボスは遅れて登場。{記号,命題,述語}論理の内容なんだが、想像どおり基本事項はほとんど適当に流して難しいところへ。これがうわさのエルブランなんちゃら？結構おもしろい考え方だ。でも、いきなりこれやるかねぇ。 フーリエ…