离散数学题目及答案

数理逻辑习题 判断题 1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式
是永真式 （ √ ） 3．命题公式
是永真式 （ √ ） 4．命题公式
的成真赋值为010 （ × ） 5．
（ √ ） 6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．
（ √ ） 8．
是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10．
是永真式（ √ ） 11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．
（ √ ） 13．
是永假式 （ × ） 14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若
，则
是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．
的特异（主）析取式为
（ × ） 18．命题公式
的成假赋值是110 （ √ ） 19．一阶逻辑公式
是闭式（ × ） 单项选择题 1． 下述不是命题的是（ A ） A． 花儿真美啊! B． 明天是阴天。 C． 2是偶数。 D．