湖北大学2003—2004学年度第一学期课程考试试题纸(第4页共6页) c甲班学生都是学英文打字的 5、如果一个有效三段论的大前提为0命题。试问它是第几格的三段论?请分别以S、M、 P为小项、中项、大项写出它的逻辑形式。 四、表解题(每小题5分,共20分。) 1、用真值表判定“(p→q)∧ηq)→1p”是否是重言式? 2、用真值表判定“如果p,那么q”与“只有非p,才非q”之间是否具有等值关系 请写出“并非(只有贪污,才是犯罪)”的等值命题,并用真值表验证。 注:1、教师命题时题目之间不留空白:2、考生不得在试题纸上答题,教师只批阅答题册上内容湖北大学 2003——2004 学年度第一学期课程考试试题纸（第 4 页 共 6 页） 注：1、教师命题时题目之间不留空白； 2、考生不得在试题纸上答题，教师只批阅答题册上内容。 c 甲班学生都是学英文打字的。 5、如果一个有效三段论的大前提为 O 命题。试问它是第几格的三段论？请分别以 S、M、 P 为小项、中项、大项写出它的逻辑形式。 四、表解题（每小题 5 分，共 20 分。） 1、用真值表判定“（p→q）∧┒q）→┒p”是否是重言式？ 2、用真值表判定“如果 p，那么 q”与“只有非 p，才非 q”之间是否具有等值关系。 3、请写出“并非（只有贪污，才是犯罪）”的等值命题，并用真值表验证