文档详情

邱婉玲耿素云离散数学ch05 第五章 一阶逻辑等值演算与推理.pdf

发布:2018-05-21约1.5万字共36页下载文档
文本预览下载声明
第五章 一阶逻辑等值演算与推理 主要内容  一阶逻辑等值式与基本的等值式  置换规则、换名规则、代替规则  前束范式  自然推理系统NL 及其推理规则 1 5.1 一阶逻辑等值式与置换规则 定义5.1 设A , B是两个谓词公式, 如果AB是永真式, 则称A 与B等值, 记作AB, 并称AB是等值式 基本等值式 第一组 命题逻辑中1
显示全部
相似文档