一阶述词演算

【一阶述词演算】基础信息（ 英文,拼音）

词语 一阶述词演算
英文 first order predicate calculus
拼音 yī jiē shù cí yǎn suàn
繁体 一階述詞演算

【一阶述词演算】是什么意思

用以规定命题常数、个体参数、常元素、常函数、逻辑联结词、量词、述词逻辑规则及公理等，以符号组成逻辑形式的演算。

【一阶述词演算】相关的组词

【一】组词

【阶】组词

【述】组词

【词】组词

【演】组词

【算】组词

热门词语