述語論理

日 [じゅつごろんり] [zyutugoronri]

述語論理

读成：じゅつごろんり

中文：谓词逻辑
中国語品詞名詞フレーズ
対訳の関係完全同義関係

述語論理的概念说明：

用日语解释：	述語論理[ジュツゴロンリ] 論理学における,述語計算
用英语解释：	functional calculus a branch of logic called predicate calculus

述語論理

读成：じゅつごろんり
中文：谓词逻辑、述词逻辑

索引トップ用語の索引ランキング

相关/近似词汇：

高阶逻辑二階邏輯谓词逻辑述词逻辑一阶谓词逻辑一阶述词逻辑谓词逻辑语言融合原理逻辑语言論理型言語