普通逻辑学（刘贻群）13期中考试02答案.pptVIP

9．以MAP为大前提，SIP为结论的有效三段论，它的小前提可以是（ ）。 A．MIS B．MAS C．SAM D．SIM　 Ｅ．SOM 9．以MAP为大前提，SIP为结论的有效三段论，它的小前提可以是（ ）。 A．MIS B．MAS C．SAM D．SIM　 Ｅ．SOM 10．下列推理形式中，有效的是（ ）。 A、(p→~q) ∧q→~p B、(~p←q) ∧q →~p C、(pV~q) ∧p →~q D、(pV~q) ∧q →~p E、[(p→q) ∧(r→s) ∧(~pV~r)]→(~q V~s) 10．下列推理形式中，有效的是（ ）。 A、(p→~q) ∧q→~p B、(~p←q) ∧q →~p C、(pV~q) ∧p →~q D、(pV~q) ∧q →~p E、[(p→q) ∧(r→s) ∧(~pV~r)]→(~q V~s) 三、分析题（每小题10分，共40分） 1．少先队员小夏和小蔡，在动物园里看到水池中的海豚正在做着各种有趣的动作，逗得他俩大笑不止。突然，池中另一只动物浮了起来，但他们都不认识这是什么。 “大概是一条什么大鱼吧！”小夏说。 “不，这不是鱼。”小蔡说。 “为什么呢？” “老师不是说过嘛，凡是海豚都不是鱼，这只水生动物不是海豚，所以，它就不是鱼嘛。”