由全球位网民共同编写而成。共计 词条，文字。
 
类型论 分类
 

高阶逻辑

高阶逻辑 正文　　又称广义谓词逻辑。它是一阶逻辑（见一阶理论及其元逻辑）的推广。在一阶逻辑中，量词只能用于个体变元，即只有个体约束变元，并且只有个体变元能作谓词变元的主目(见谓词逻辑)。这样就限制了一阶逻辑的语言的表达能力。如果去掉一阶逻辑中的上述限制，命题变元和谓词变元也能作约束变元，即受量词约束，并且作谓词变元的主目，以此构造起来的逻辑系统就是高阶逻辑。它包括二阶逻辑、三阶逻辑……以至无穷阶逻辑。 　　二阶逻辑　一阶逻辑的一个很自...[ 阅读全文]

类型论热点词条
 

查看本类更多词条>>

类型论分类人物
 

此分类暂无分类人物

分类讨论区 发表新话题

 
发表讨论  
标题：
内容：
(请输入图中验证码) 看不清，换一个

管理员 申请

相关分类
 

相关任务
 

查看更多>>

Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有

输入词条名称，以；分隔

投诉原因：
本分类词条不完善/不准确
本分类长期未更新
本分类内容栏目有误
本分类涉及违反法律法规的内容
本分类涉及广告内容
其他投诉意见：

申请本类专家:

互动百科现已成为一个各类专家与维客交流的平台，如果您拥有本分类相关的学历或资历，您可以通过申请成为网站专家。 当您成为专家以后可以很方便的以对词条作出点评，为全球最大中文百科做出您的贡献，感谢您的申请。

如您确定有意申请，请填写如下资料：

 

您的投诉已经成功提交，感谢您对互动分类工作的支持，3天之内，互动百科站务委员会将给出投诉处理结果。　 查看详情