t_wの輪郭
RSS
あれ
factoring
2024/3/17 12:32:00
factoringとは、導出において重複したものを消す操作のこと
『論理学第11回「導出原理」萩野 達也』
導出
論理学
エルブランの定理
充足可能
factoring
導出図
NK体系
LK体系
『論理学第11回「導出原理」萩野 達也』
2024/3/17 12:29:00
https://web.sfc.keio.ac.jp/~hagino/logic16/11.pdf
あれ