★形成性考核作业★
离散数学作业2
姓名：学号：得分：教师签名：
离散数学数理逻辑部分形成性考核书面作业
本课程形成性考核书面作业共2次，内容主要分别是图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第二次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2008年6月15日前完成并上交任课教师（不收电子稿）。一、单项选择题1．设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为A．QPB．PQC．PQD．PQ2．设命题公式G：PQR则使公式G取真值为1的P，Q，R赋值分别是A．000B．001C．010D．1003．下列命题公式是等价公式的为．A．PQPQB．ABAAABC．QPQQPQD．AABB4．下列公式为重言式．A．PPQQB．BABAABC．PQPPPQD．ABAB5．命题公式PQ的主析取范式是．A．PQBPQC．PQD．PQ6．设Cxx是国家级运动员，Gxx是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为A．xCxGxB．xCxGxC．xCxGxD．xCxGx7．表达式xPxyQzyRxyzQz中x的辖域是．A．Pxyy8．谓词公式xPxxQxxQx的类型是
1
B．PxyQz
C．Rxy
D．PxyRx
．
f★形成性考核作业★
A．永真式
B．永假式
C．非永真的可满足式
D．蕴含式
二、填空题1．命题公式PQP的真值是
．
2．设P：他生病了，Q：他出差了．R：我同意他不参加学习则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为．3．设A，B为任意命题公式，C为重言式，若ACBC，那么AB是式重言式、矛盾式或可满足式．4．含有三个命题变项P，Q，R的命题公式PQ的主析取范式是．5．设Fx：x是鸟，Gx：x会飞翔．则命题“鸟会飞”符号化为．6．设个体域D＝12那么谓词公式xAxyBy消去量词后的等值式为．7．设个体域D＝ab，公式xGxyHxr