离散数学形成性考核作业7答案4页.doc

形成性考核作业 一、填空题1命题公式的真值是 1 2设P：他生病了，Q：他出差了R：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 (PQ )R 3含有三个命题变项P，Q，R的命题公式PQ的主析取范式是 (PQR)(PQR) 4设P(x)：x是人，Q(x)：x去上课，则命题“有人去上课” 可符号化为 5设个体域Da, b,那么谓词公式消去量词后的等值式为 6设个体域D1, 2, 3，A(x)为“x大于3”，则谓词公式($x)A(x) 的真值为 0 7谓词命题公式(x)(A(x)B(x) C(y)中的自由变元为 y 8谓词命题公式(x)(P(x) Q(x) R(x，y)中的约束变元为 x 三、公式翻译题 1请将语句“今天是天晴”翻译成命题公式解