邱婉玲耿素云离散数学ch05 第五章 一阶逻辑等值演算与推理.pdf
文本预览下载声明
第五章 一阶逻辑等值演算与推理
主要内容
一阶逻辑等值式与基本的等值式
置换规则、换名规则、代替规则
前束范式
自然推理系统NL 及其推理规则
1
5.1 一阶逻辑等值式与置换规则
定义5.1 设A , B是两个谓词公式, 如果AB是永真式, 则称A
与B等值, 记作AB, 并称AB是等值式
基本等值式
第一组 命题逻辑中1
显示全部