是指存在一个能行澳门老百汇官网的算法

当前位置:澳门老百汇官网 > 澳门老百汇官网 > 是指存在一个能行澳门老百汇官网的算法
作者: 澳门老百汇官网|来源: http://www.conclaveweb.com|栏目:澳门老百汇官网

文章关键词:澳门老百汇官网,判定逻辑

  声明:百科词条人人可编辑,澳门老百汇官网词条创建和修改均免费,绝不存在官方及代理商付费代编,请勿上当受骗。详情

  可判定逻辑系统(decidable logic system)具有能行判定算法的逻辑系统一个逻辑系统S是可判定的,是指存在一个能行的算法,使得该算法能够判定S中的任何公式是否可证.若使用哥德尔编码,则可以得到更为精确的描述。澳门老百汇官网

  若G是S中公式到自然数集的一个能提夜影行一一映射,且对S中可证公式的集合P,G(P)为递归集,则称该逻辑系统可判定,杠柜腿否则称其拜循页碑不可判定.最基本的可判定逻辑系统是古典命题演算系统.此外,像直觉主义的命题演算系统、澳门老百汇官网模态逻辑的命题演算系统(包括T,K4,S4,D4,S5)都是可判定的.有穷值逻辑的命题演算系统也是可判定的,但它们相巩嫌拒宙应的一断元击阶谓词演算系统都不可判定.不过它们的一些子类仍然是可判定的.

  3.形为E/xlE/xZ...dxm} yu yZ..} y A的公式类.

  4.形为yxl yxz ... dxm } y, 3yZ .. 3 y dzl yzZ ..d zA的公式类.

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!