命题演算

【命题演算】基础信息（ 英文,拼音）

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

【命题演算】是什么意思

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

【命题演算】相关的组词

【命】组词

【题】组词

【演】组词

【算】组词

热门词语