人工智能及应用ch3

- 自然演绎推理-定义 - 设S是一个命题（谓词）公式集，从S推出G的一个演绎是一个公式的有限序列：G1 ,G2 ,…, Gk=G其中Gj或者属于Ｓ或者是某些Gi (i<j)的