原创力文档一阶逻辑
高贝贝
哲学与社会发展学院
1344220150@
有效吗？
v有人爱每个人
v所以，每个人都有人爱
v⼀阶逻辑：⼀种新的符号体系，提供了分析简单命题的新⽅法，
同时又融合了命题逻辑。
v一阶逻辑把断定某个对象是否具有某种性质这类命题作
为最简单的逻辑结构之一，并把这种结构套用到其他更复
杂的命题上去。
一阶逻辑
高贝贝
哲学与社会发展学院
1344220150@
有效吗？
v有人爱每个人
v所以，每个人都有人爱
v⼀阶逻辑：⼀种新的符号体系，提供了分析简单命题的新⽅法，
同时又融合了命题逻辑。
v一阶逻辑把断定某个对象是否具有某种性质这类命题作
为最简单的逻辑结构之一，并把这种结构套用到其他更复
杂的命题上去。
文档评论（0）