もしも授業受けてる人が読んでも多分役立たないのであしからず。今回はいきなりレゾリューション原理。日本語では「導出原理」と呼ばれるらしい。 http://ysserve.cs.shinshu-u.ac.jp/Lecture/SymbolLogic/node52.html http://kaz.cyteen.nagoya-bunri.ac.jp…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。