#等值式演算# 相关文档
-
主要内容一阶逻辑等值式与基本的等值式置换规则换名规则....ppt
主要内容一阶逻辑等值式与基本的等值式置换规则换名规则代替规则前束范式自然推理系统NL 及其推理规则第五章 一阶逻辑等值演算与推理 一阶逻辑等值式与置换规则定义 设A B是两个谓词公式 如果A?B是永真式 则称A与B等值 记作A?B 并称A?B是等值式基本等值式第一组 命题逻辑中16组基本等值式的代换实例 例如???xF(x)??xF(x) ?xF(x)??yG(y)
日期：2022-04-27 格式：.pptx 页数：36页 大小：329KB 发布：
- 1
- 1/1页
客服
顶部