命题逻辑的推理 几种证明方法 模型检验 上述给出的R1,R2,R3,R4,R5就是所对应的知识库,我们要列出所有能让知识库中的语句为真的模型 如上图红色标注的行,即为知识库为真的前提下,推导出~P12 逻辑等价