本帖最后由 少女哭泣中 于 2015-7-4 08:12 编辑
这是离散里的基本逻辑题吧....这类看起来白痴的证明也只会出现在基础练习中，做到后面就会发现，你真的需要设一大堆式子来帮你解决一些一看就复杂的要命的命题。。。
举个例子：
①世界上的猴子不都会爬树，但都会游泳
②有的猴子不吃香蕉，但都比长颈鹿小
③大象不会爬树，但有的大象不吃香蕉
④长颈鹿不吃香蕉，也不会游泳
⑤不会游泳的大象比长颈鹿大
问，从上述命题中，是否存在矛盾命题，如不存在，能否证明①不会游泳的长颈鹿都不吃香蕉
②吃香蕉的长颈鹿比吃香蕉的猴子大
③会游泳的大象比不会游泳的猴子大
如可以，请证明
|
发表于 2015-7-3 12:35:36
.GIF)
