命题演算是什么意思词义解释来源：辞书

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