电大计算机本科【计算机数学基础(1)】形成性考核册答案（附完整题目）.docVIP

PAGE PAGE 26 电大【计算机数学基础(1)】形成性考核册答案 【计算机数学基础(1)】形考作业一： 第1章　命题逻辑 一、单项选择题 1. 下列语句是真命题为( )． A. 我正在说谎　　 B.　如果1+2=3，则雪是黑的　　 C. 如果1+2=5，则雪是黑的　 D. 你上网了吗？ 答案：C 解答：A. 我正在说谎，这是勃论．“我正在说”的真值应是1，但是说的是错话，真值为0．故是勃论． B.　这是蕴涵式．令P：1+2=3，真值为1；Q：雪是黑的，真值为0，于是1?0?0．“如果1+2=3，则雪是黑的”是假命题． C. 令P：1+2=5，真值为0；Q：雪是黑的，真值为0，于是0?0?1．于是“如果1+2=5，则雪是黑的”是真命题．选项C正确． D. 这是疑问句，不是命题． 2. 命题公式P?(Q?P)为( )． A. 重言式　　B.　可满足式　　C.　矛盾式　　D.　等值式 答案：A． 解答：P?(Q?P)??P?(?Q?P)?(?P?P)?Q?1．故选择A． 二、填空题 1. P,Q为两个命题，当且仅当 时，P?Q的真值为1，当且仅当　　　时，P?Q的真值为0． 答案：P?1?Q?1 (或P的真值为1且Q的真值为1)；P?0?Q?0． 解答：见教材关于合取?与析取?的真值表