小野寛晰『情報科学における論理』の読書ノート。なるべく練習問題も解いてく。(→前回) 第2章 述語論理(承前) 古典述語論理の形式体系LK 推論規則 古典命題論理での推論規則に加えて次の推論規則を持つ。なお は論理式、 は論理式の列、 は任意の項、 は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。