会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
qinxiaoyu
博客园
首页
新随笔
联系
订阅
管理
2018年9月18日
First-order Logic
摘要: 实际上,一阶逻辑是一种形式系统(Formal System),即形式符号推理系统,也叫一阶谓词演算、低阶谓词演算(Predicate Calculus)、限量词(Quantifier)理论,也有人称其为“谓词逻辑”,虽然这种说法不够精确。总之,不管怎么说,一阶逻辑就是一种形式推理的逻辑系统,是一种抽
阅读全文
posted @ 2018-09-18 20:31 qinxiaoyu
阅读(1313)
评论(0)
推荐(0)
编辑
公告