内容发布更新时间 : 2024/5/20 10:04:56星期一 下面是文章的全部内容请认真阅读。

则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）】 他既没有生病也没有要紧的事，但还是没来上课。﹁p∧﹁q∧﹁r】 2.

【并非没有春天的耕耘，就没有秋天的收获。﹁（p←q） 即使没有春天的耕耘，也会有秋天的收获。﹁p∧q】 3.

【并非如果是艺术家，那么他就会写诗或绘画。﹁（p→（q∨r） 虽然他是艺术家，但他并不会写诗和绘画。（p∧（﹁q∧﹁r）】 4.

【并非明天或者刮风，或者下雨。﹁（p∨q） 明天既不会刮风，也不会下雨。﹁p∧﹁q】 5.

【并非这家小超市的商品不但价格低廉，而且质量合格。﹁（p∧q） 这家小超市的商品或着价格贵，或者质量不合格。﹁p∨﹁q】 6.

【并非当且仅当衣食足，才能知荣辱。﹁（p?q）

14

要么衣食足，要么知荣辱。pq】 7.

【并非这份材料或者是原始资料有错，或者是计算出错，或者是抄写错误。﹁（p∨q∨r）

这份材料既不是原始资料有错，也不是计算出错，又不是抄写错误。 ﹁p∧﹁q∧﹁r】 8.

【并非我要么喝咖啡，要么喝茶。﹁p﹁q

我或者既喝咖啡又喝茶，或者既不喝咖啡也不喝茶。（p∧q）∨（﹁p∧﹁q）】

9.

【并非做坏事而不受惩罚。﹁（p∧﹁q） 或着不做坏事，或着受惩罚。（﹁p∨q）】 10.

【并非只有贪污才会犯大错误。﹁（p←q） 即使没有贪污也会犯大错误。﹁p∧q】 11.

【并非只要多施肥料，苹果树就不但能抗病虫害，而且结果多。﹁（p→（q∧r）

即使多施肥料，苹果树不一定能抗病虫害，或者结果不多。p∧﹁（q∨﹁r】

12.

【并非当且仅当喜鹊叫，客人到。﹁（p?q） 喜鹊叫但客人未到。或者喜鹊没叫却有客人到。（p∧﹁q）∨（﹁p∧ q】 四、下列推理属于何种推理？是否为有效式？请用符号表示其推理形式

1.【联言推理，分解式，，有效；p：军队，q：警察，r：法庭，s：监狱；（（p∧q∧r∧s）→r∧s）】

2.【相容选言推理，肯定否定式，无效；p：去苏州，q：去无锡；（（p∨q）∧p）→﹁q】

3.【必要条件假言连锁推理，有效；p：树立坚定的信心，q：不懈地努力，r：取得优异成绩；（（p←q）∧（q←r））→（﹁p→﹁r）】

4.

【相容选言推理，肯定否定式，无效；p：“全班同学都是团员”为假，q：“全班同学都不是团员”为假；（（p∨q）∧q）→﹁p】

5.【假言型多重复合命题推理，否定后件式，无效；p：主观上出于故意，q：侵害的客体是国家商标的管理活动，r：构成假冒商标罪；（p∧q）←r）∧﹁r）→﹁p∨﹁q】

15