会员
周边
新闻
博问
融资
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
象鼻蚌
有心栽花花不开,无心插柳柳成荫!
博客园
首页
新随笔
联系
管理
订阅
2010年4月4日
命题逻辑、一阶逻辑和二阶逻辑
摘要: (摘自维基百科) 命题逻辑处理简单的陈述性命题,一阶逻辑补充覆盖了谓词和量化。例如下列句子:“苏格拉底是男人”,“柏拉图是男人”。在命题逻辑中,它们是两个无关的命题,比如指示为 p 和 q。但是在一阶逻辑中,这两个句子将由同一个性质联系起来:Man(x),这里的 Man(x) 意味着 x 是个男人。在 x = 苏格拉底时我们得到了第一个命题 p,而在 x =...
阅读全文
posted @ 2010-04-04 22:41 象鼻蚌
阅读(5844)
评论(0)
推荐(0)
编辑