组词典 词语

述词演算

【述词演算】基础信息( 英文,拼音)

  • 词语
  • 拼音shù cí yǎn suàn
  • 繁体述詞演算
  • 英文predicate calculus

【述词演算】是什么意思

为数理逻辑的基础部分。以逻辑述句进行表示及推理的基本记法。把命题看作整体,分析命题的各部结构,使成主词与述词的逻辑形式。

浏览历史