离散数学作业9.docxVIP

离散数学作业 9 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共 3 次，内容主要分别是图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用 A4 纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求 2009 年 6 月 14 日前完成并上交任课教师（不收电子稿）。 一、单项选择题 设 P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为