一道逻辑题,求详解.所有的猕猴桃都是香蕉,猴子是猕猴桃,所以,猴子是香蕉.如果题干为真,下面哪个选项一定是真的?A.香蕉长在白云上,猴子吃香蕉,所以,猴子跟着白云飘.B.猴子是

Question

一道逻辑题,求详解.
所有的猕猴桃都是香蕉,猴子是猕猴桃,所以,猴子是香蕉.
　　如果题干为真,下面哪个选项一定是真的?
　　A.香蕉长在白云上,猴子吃香蕉,所以,猴子跟着白云飘.
　　B.猴子是猕猴桃,猴子是香蕉,所以,所有的猕猴桃都是香蕉.
　　C.香蕉是猴子,猴子跑在白云上,所以,香蕉追着白云跑.
　　D.老虎追猴子,猴子追香蕉,所以,老虎追猴子和香蕉.
　　E.猴子不是香蕉,但猴子确实是猕猴桃,所以,"所有的猕猴桃都是香蕉,并且天上白云飘"这句话是假的.

Answer 1

这是离散数学的逻辑么.
设a,b,c分别表示这个是猕猴桃,这个是猴子,和这个是香蕉三个事件.
题干的意思是a→c,b→a,所以b→c.
A的话猴子吃和跟着白云飘逻辑上应该没有联系.
B的意思是b→a,b→c,所以a→c,这个推理应当是不正确的.
C,逻辑上好像也不对.
D 设a表示这个东西被老虎追,b表示被猴子追,c表示它是猴子,d表示它是香蕉.
那么有c→a,d→b由此推出d→a也是不对的.
E的话设有一样物品x,a表示x是香蕉,b表示x是猕猴桃,当x=猴子时,b∩反a,即存在x,使得
b∩反a,即反（反b∪a）,即反（b→a）,也就是"所有的猕猴桃都是香蕉"这句话的否定,即这句话否定成立,这句话是假的.所以看来貌似是E,
我也不确定.