组词典 词语

命题演算

【命题演算】基础信息( 英文,拼音)

  • 词语
  • 拼音mìng tí yǎn suàn
  • 繁体命題演算
  • 英文propositional calculus

【命题演算】是什么意思

符号逻辑的一种系统,以命题为单位,藉逻辑连接词予以结合,且逐步推论以决定命题的真假值。亦探讨逻辑连接词的性质、命题公式的永真性、永假性、可满足性以及命题之间的演绎关系。

浏览历史