命题演算
【词语拼音】mìng tí yǎn suàn
【词语繁体】命題演算
【词语结构】ABCD式词语
【词语字数】四字词语
【词语解释】
符号逻辑的一种系统，以命题为单位，藉逻辑连接词予以结合，且逐步推论以决定命题的真假值。亦探讨逻辑连接词的性质、命题公式的永真性、永假性、可满足性以及命题之间的演绎关系。
演算算题算算命命题算命演算器算术题骨命算命负命题命题人真命题伪命题假命题原命题否命题送命题逆命题正演问题反演问题算骨命算命师骨算命算阴命算死命算命箱算命者想算命算命缘演算法则谓词演算逻辑演算即时演算洪水演算关系演算口算题卡命题方向命题构图教育命题等价命题数学命题特称命题命题公式假言命题互逆命题否定命题命题表征逆否命题命题函项命题逻辑等值命题道德命题原子命题命题代数命题作文对偶命题直言命题命题写作命题变元命题学习哲学命题全称命题偶然命题选言命题存在命题寿命估算算命先生瓷都算命算命大师在线算命八字算命半仙算命明星算命算命系统算命占卜称骨算命天命算者女算命师算命称骨算命女人算命婚姻神算命运女算命人姓名算命四柱算命测字算命网上算命掌纹算命耳朵算命算命女神周易算命算命瞎子绝命天算电脑算命算命大神有限差演算数学算术题