DOSEIの日記

技術メモ+日常ログ

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