离散数学题目及答案.docVIP

数理逻辑习题 判断题 1．任何命题公式存在惟一的特异析取范式 （ √ ） ． 公式是永真式 （ √ ） 3．命题公式是永真式 （ √ ） 4．命题公式的成真赋值为010 （ × ） ． （ √ ）× ） 7． （ √ ） 8．是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． 是永真式（ √ ） 11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） ． （ √ ） ．是永假式 （ × ） ．每个命题公式都有唯一的特异（主）合取范式 （ √ ） ．若，则是永真式 （ √ ） ．每个逻辑公式都有唯一的前束范式 （ × ） ．的特异（主）析取式为 （ × ） ．命题公式 的成假赋值是110 （ √ ） ．一阶逻辑公式是闭式（ × ） 1． 下述不是命题的是（ ） A． 花儿真美啊! B． 明天是阴天。 C． 2是偶数。 D． 铅球是方的。 ．谓词公式（y）（x）（P（x）→R（x,y））∧yQ（x,y）中变元y （ 　） A． 是自由变元但不是约束变元 B． 是约束变元但不是自由变元 C． 既是自由变元又是约束变元 D． 既不是自由变元又不是约束变元 ．下列命题公式为重言式的是（ ） A．p→ （p∨q） B．（p∨┐p）→q C