弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
【一的意思】：一 yī（一） （一）、数名，最小的正整数（在钞票和单据上常用大写“壹”代）。 详情>
【阶的意思】：阶（階） jiē（ㄐ一ㄝ） （一）、为了便于上下，用砖石砌成的或就山势凿成的梯形的道：阶除（台阶）。 详情>
【逻的意思】：逻（邏） luó（ㄌㄨㄛˊ） （一）、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。（二）、遮拦：“蛛蝥结 详情>
【辑的意思】：辑（輯） jí（ㄐ一ˊ） （一）、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。（二）、聚集 详情>
• 一阶逻辑完备性定理的代数证明
• 一阶逻辑是用来表示知识的重要方法。
• 摹状词理论强调的是一阶逻辑语言的句法，日常语言的句法是它批判的对象。
• 从对量词的讨论入手，分析了IF一阶逻辑与经典一阶逻辑在形式上的区别和联系。
