您的当前位置:首页汉语词典

命题演算的意思

mìng tí yǎn suàn

命题演算


词语解释

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

英语propositional calculus


第1个字题的相关组词

第2个字演的相关组词

第3个字算的相关组词

Copyright © 2023 wuhanjob.com 武寒词海
本站为非营利性站点,部分资源收集整理于互联网,尽供交流学习之用