离散数学考试题题?

数理逻辑习题判断题任何命题公式存在惟一的特异析取范式公式是永真式命题公式是永真式命题公式的成真赋值为命题如果则雪是黑的是真命题是永真式我正在撒谎是命题是永真式命题如果则雪是黑的是假命题是永假式每个命题公式都有唯一的特异主合取范式若雪是黑色的则公式是永真式每个逻辑公式都有唯一的前束范式公式的特异主析取式为命题公式的成假赋值是一阶逻辑公式是闭式单项选择题下述不是命题的是花儿真美啊明天是阴天是偶数铅球是方的谓词公式中变元是自由变元但不是约束变元是约束变元但不是自由变元既是自由变元又是约束变元既不是自由


数理逻辑习题 判断题 1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式 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)) 是永真式 ( ×) 9.“我正在撒谎”是命题 ( ×) 10. xF(x) xG ( x)是永真式( √ ) 11.命题 “如果 1+ 2=0,则雪是黑的 ”是假命题 ( ×) 12

我要回帖

更多关于 离散数学考试题 的文章

 

随机推荐