「命题演算」 的拼音、读音、造句

词语

命题演算

繁体

命題演算

拼音

mìng tí yǎn suàn

怎么读

英语

propositional calculus

「命题演算」的意思和解释

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

「命题演算」相关图片

命题演算
语文课 www.yuwenke.com All Rights Reserved.
免责说明:本站部分内容从互联网搜集编辑整理而成,版权归原作者所有,如有冒犯,请联系我们删除。