离散数学题及答案.docVIP

数理逻辑习题 判断题 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． 铅球是方的。 2．谓词公式（y）（x）（P（x）→R（x,y））∧yQ（x,y）中变元y （ B　） A． 是自由变元但不是约束变元 B． 是约束变元但不是自由变元 C． 既是自由变元又是约束变元 D． 既不是