【词语名称】命题演算（mingtiyansuan）
【词语拼音】ming ti yan suan
【词语读音】mìng tí yǎn suàn
【词语简拼】MTYS
【基本释义】符号逻辑的一种系统，以命题为单位，藉逻辑连接词予以结合，且逐步推论以决定命题的真假值。亦探讨逻辑连接词的性质、命题公式的永真性、永假性、可满足性以及命题之间的演绎关系。
【分字组词】命字组词 演字组词 算字组词 题字组词
