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