则SAP真；3假（POS）则PAS真。因此S与P同一关系】
7.
【1和2反对关系（不能同真必有一假），即A命题和E命题同时出现不可能同时都是真的必定有一假，则3也是假的，则说明有人会，2也是假的，条件一真两假，则1真，即A真，全部都会】
8.
【1和3反对关系（不能同真必有一假），即A命题和E命题同时出现不可能同时都是真的必定有一假，只有一句是假的，则2是真的，说明有人会。3是假的，1是真的，宏志班班长会游泳】
9.
【全异】 10.
【3种，M包含在S中与P全异；M与S交叉与P全异；M与S全异与P全异；】
11.
（1）SAP为假 【真包含关系、交叉关系、全异关系】 （2）SEP为真 【全异关系】 （3）SIP为假 【全异关系】
（4）PES为假 【同一关系、真包含于关系、真包含关系、交叉关系】 （5）POS为假 【同一关系、真包含关系】 12. （1）
【对称、非传递】 （2）
【反对称、传递】 （3）
【对称、反传递】 （4）
【对称、传递】 13.
【无效，性质命题不应否定】 14.（1） 【“理解”为非传递关系，推理错误】 （2） 【“离?很远”为对称关系，推理错误】 （3） 【“与?接壤”为非传递关系，推理未必正确】 （4）
11
【“朋友”为非传递关系，推理错误】 15.（1） 【“决定”是反对称关系】 （2） 【“矛盾”是对称关系】 （3） 【“欺骗”为非传递关系】 （4） 【“在?之前”为传递关系】 16.
【解析】从所给条件可以知道：戊>丁>丙，乙>甲，丙>乙。因此，正确答案为戊。
12
第四章练习题（演绎逻辑二）p200
一、判断题 1.
【正确】 2.
【正确】 3.
【错误】 4.
【正确】 5.
【正确】 6.
【错误】 7.
【正确】 8.
【错误】 9.
【正确】 10.
【错误】
二、下列命题属于何种复合命题？写出其逻辑形式 1.
【必要条件假言命题，只有p，才q】 2.
【联言命题，p并且q并且r】 3.
【相容选言命题，或者p，或者q】 4.
【充要条件假言命题，当且仅当p（人犯我），才q（我犯人）（只有p，才q；并且如果p，那么q）】
5.
【必要条件假言命题，只有p，才q：不（只有）入虎穴，就得不到（才能）虎子】
6.
13
【充要条件假言命题，当且仅当p，才q】 7.
【充分条件假言命题，如果p，那么q】 8.
【充分条件假言命题，如果p，那么q：一旦?就?】 9.
【假言型多重复合命题，如果p并且q，那么r或者s】 10.
【假言型多重复合命题，只有p或者q，并且r或者s，才t】 11.
【必要条件假言命题，只有p（到杭州西湖），才q（知西湖之美）】 12.
【充要条件假言命题，当且仅当p（你去），才q（我去）；或：如果p，那么q并且只有p，才q】
13.
【联言型多重复合命题：支命题是必要条件】 14.
【不相容选言命题，要么A，要么B】 15.
【选言型多重：或者p并且非q，或者q并且非p王莘37页13题】 三、写出下列命题的负命题及其等值命题，并用公式表示 1.
【并非除非生病或者有要紧的事，他才不来上课。﹁（(p∨q)←﹁r）】 他既没有生病也没有