中文:一阶逻辑;日语:いちじろんり
基于1个网页-相关网页
一阶述词逻辑 いっかいじゅつごろんり
一阶谓词逻辑 いっかいじゅつごろんり
一阶逻辑
一階述語論理です
以上为机器翻译结果，长、整句建议使用 人工翻译 。
一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
详细内容
应用推荐
模块上移
模块下移
不移动