离散数学题目及答案.docxVIP

数理逻辑习题

判断题

任何命题公式存在惟一的特异析取范式（√）

公式p?(?p?q)是永真式（√）3．命题公式(p?q)?p是永真式（√）4．命题公式p??q?r的成真赋值为010（× ）5．?xA(x)?B??x(A(x)?B) （√）6．命题“如果1＋2＝3，则雪是黑的”是真命题（× ）

7．p?(p?q)?p （√）

8．?x(F(x)?G(x))是永真式 （×）

“我正在撒谎”是命题（×）

?xF(x)??xG(x)是永真式（√）

命题“如果1＋2＝0，则雪是黑的”是假命题（×）

12．p?(p?q)?p （√）

13．?x(F(x)?G(x))是永假式 （× ）

每个命题公式都有唯一的特异（主）合取范式（√ ）

若p:雪是黑色的，则公式p?q是永真式（√ ）

每个逻辑公式都有唯一的前束范式（×）

公式p?q的特异（主）析取式为?p?q （×）18．命题公式?p?(q?r)的成假赋值是110（√）19．一阶逻辑公式?x(F(x)?G(x,y))是闭式（×