离散数学-一阶谓词逻辑ppt课件

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

《离散数学》课程学时：48讲 授：杨绍禹ysy@ncwu.edu.cn
一阶逻辑
例：苏格拉底论断前提“所有的人都是要死的”“苏格拉底是人”结论“所以苏格拉底是要死的”命题逻辑限定原子命题是不能细分的整体命题逻辑的局限性
P
Q
R
P∧QR
不是命题演算的有效推理
问题的提出：(为什么要对原子命题进一步细分?)
？
例Ｐ1：小张是大学生Ｐ2：小李是大学生Q1：2大于3Q2：6大于4不同原子命题之间是有内在联系的，但命题逻辑无法研究这种内在联系解决问题的方法分析原子命题，分离其主语和谓语考虑一般和个别，全称和存在
原子命题不能细分吗？(能否对原子命题进一步细分?)

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：ppt课件 谓词逻辑 离散数学 ppt 苏格拉底

相关内容：离散数学课件ppt