真可推出SAP假。3．（1）A与B两种意见是反对关系，不能同真，但能同假。（2）甲的说法不成立，违反矛盾律。（3）乙的判断可成立，不违反逻辑规律的要求。4．（1）推理形式为：（p→q）（r→s）qs→pr（其中，p、q、r、s分别表示甲、乙、丙、丁上场）（2）这是二难推理的复杂破坏式，正确有效）5．（1）A式表示R是反对称关系。（2）B式表示R是传递关系。（3）存在一种关系可使A、B两式同真。（4）如“真包含关系”即是反对称关系，又是传递关系。八、证明题1．由（2）A真包含于C可推知（3）A都是C，可推知（4）A与C不全异。2．由（1）与（4）可推知A与B不全异，则（5）有A是B。
f3．由（3）与（5）可推知（6）有B是C，由B与C不全异九、综合题
1．（一）根据复合判断的负判断和其等值判断间的关系，由（2）得出（4）王洪和高亮得奖了。
（二）根据必要条件假言推理肯定后件式，由（1）和（4）得出（5）“张明没得奖或李东没得奖”。
（三）根据相容选言推理否定肯定式，由（3）和（5）得出“张明没得奖”。
（四）由上推理可知：王洪和高亮得奖了，而张明没有得奖。2．（一）A与C下反对，必有一真，由题意可知B假。（二）B假，则王英与刘明至少有一个人是上海人。（三）由（2）可推得A真，因为“有上海人是甲班学生”等值于“有甲班
学生是上海人”（四）由（3）及题意可推知C假，即“甲班学生有的不是上海人”为假，
则“甲班学生是上海人”真。（五）由（4）可推知甲班班长是上海人。
fr