一阶逻辑也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
一阶逻辑和其他高阶逻辑不同之处在于，高阶逻辑的断言可以有断言或函数当做引数，且允许断言量词或函数量词的（同时或不同时）存在。在一阶逻辑中，断言通常和集合相关连。在有意义的高阶逻辑中，断言则会被解释为集合的集合。
关于我们 联系我们 法律声明 人才招聘 友情链接 网站导航 违法和不良信息举报中心
换车网举报投诉方式：电话：
邮箱：
（接受色情、低俗、侵权、虐待等违法和不良信息的投诉）
免责声明：本网站部分内容由用户自行上传，如权利人发现存在误传其作品情形，请及时与本站联系。© 2024 huanche.com 换车网保留所有权利
换车网 Copyright 2024 www.huanche.com All Rights Reserved 闽ICP备17003705号-18
