人工智能第三章

- 3.4 Herbrand定理 - 问题： 一阶逻辑公式的永真性（永假性）的判定是否能在有限步内完成？ - 1936年图灵(Turing)和邱吉(