我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:小鱼儿玄机1站开奘结果 > 前束范式 >

第5章 一阶逻辑等值演算与推理

归档日期:08-11       文本归类:前束范式      文章编辑:爱尚语录

  专业文档 第5章 一阶逻辑等值演算与推理 专业文档 2 主要内容  一阶逻辑等值式与基本的等值式  置换规则、换名规则、代替规则  前束范式  自然推理系统N L 及其推理规则 第五章 一阶逻辑等值演算与推理 专业文档 3 5.1 一阶逻辑等值式与置换规则 在一阶逻辑中,有些命题可以有不同的形式 例如命题:没有不犯错误的人。 设F(x): x 是人,G(x): x 犯错误 (1) x(F(x) G(x)) 或 (2)  x(F(x) G(x)) 定义5.1 设A, B 是两个谓词公式, 如果A B 是永真式, 则称A 与 与B 等值, 记作A B, 并称A B是 是 等值式 显然,A B当且仅当在任何...

本文链接:http://scrinzoom.com/qianshufanshi/796.html