数理逻辑练习题及答案-3.pdfVIP

====Word 行业资料分享--可编辑版本--双击可删==== 命题逻辑的推理 1．判断下面推理是否正确。先将简单命题符号化，再写出前提、结论、推理的形式结构（以蕴涵 式的形式给出）和判断过程（至少给出两种判断方法）： （1）若今天是星期一，则明天是星期三；今天是星期一。所以明天是星期三。 （2 ）若今天是星期一，则明天是星期二；明天是星期二。所以今天是星期一。 （3 ）若今天是星期一，则明天是星期三；明天不是星期三。所以今天不是星期一。