命题演算的繁体字: 命題演算
命题演算的拼音: ming ti yan suan
命题演算的读音: mìng tí yǎn suàn
命题演算的简拼: MTYS
分字繁体字:命的繁体字 演的繁体字 算的繁体字 题的繁体字
符号逻辑的一种系统,以命题为单位,藉逻辑连接词予以结合,且逐步推论以决定命题的真假值。亦探讨逻辑连接词的性质、命题公式的永真性、永假性、可满足性以及命题之间的演绎关系。
友情链接:姓名测试