查看: 120|回复: 0

[标准] 一阶逻辑的不可判定性-undecidability of first-order logic

[复制链接]

1676

主题

1696

帖子

3万

积分

版主

Rank: 7Rank: 7Rank: 7

积分
34384
QQ
发表于 2017-5-18 22:03:42 | 显示全部楼层 |阅读模式 | 百度 
S.C.B.的评分为98--时间:2611-11-11 23:22:23!zhangning_sd的评分为63--时间:2143-12-20 19:53:13。育龙团队的评分为48--时间:2472-10-26 10:55:23。djsadinoff的评分为44--时间:2131-08-28 00:39:53。yang580230的评分为79--时间:2520-02-22 19:05:13。84180619的评分为94--时间:2344-09-02 10:04:03.

马上注册硬科学论坛吧。上传说明:若上传附件过大,请上传至网盘或者优酷等视频网站,给出链接方式。下载说明:如果资源大于2G,请安装【百度网盘】或【360云盘】后下载!

您需要 登录 才可以下载或查看,没有帐号?立即注册

x
输入的解释:
first-order logic
又名:
first-order predicate calculus
定义:
The set of terms of first-order logic (also known as first-order predicate calculus) is defined by the following rules: 1. A variable is a term. 2. If f is an n-place function symbol (with n>=0) and t_1, ..., t_n are terms, then f(t_1, ..., t_n) is a term. If P is an n-place predicate symbol (again with n>=0) and t_1, ..., t_n are terms, then P(t_1, ..., t_n) is an atomic statement.
相关主题:
deduction theorem | interpretation | Peano arithmetic | predicate calculus | propositional calculus
主题分类:
MathWorld:
general logic
MSC 2010:
03Bxx


回复
百度搜狗360奇虎

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

快速回复 返回顶部 返回列表