一阶谓词逻辑基本概念ppt课件
- 例P1:小张是大学生P2:小李是大学生Q1:2大于3Q2:6大于4不同原子命题之间是有内在联系的,但命题逻辑限定原子命题是不能拆分的,无法研究这种内在联系解决问题的方法:分析原子命题,分离其主语和
一阶谓词逻辑基本概念ppt课件