数据与知识工程4DL

- 描述逻辑(luó jí)的推理问题 (1) - 概念(gàiniàn)的可满足性 - - 第二页，共26页。