一阶逻辑的拼音及详细解释
【词语名称】一阶逻辑(yijieluoji)
【词语拼音】yi jie luo ji
【词语读音】yī jiē luó ji
【词语简拼】YJLJ
【网络释义】 一阶逻辑(first order logic,FOL)也叫一阶谓词演算,允许量化陈述的公式,是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑,它不允许量化性质。性质是一个物体的特性;所以一个红色物体被表述为有红色的特性。
【分字组词】一字组词 辑字组词 逻字组词 阶字组词