下列推理属于有效推理的是（）
A: 如果天下雨，那么地上湿。地上没有湿，所以，天上没有下雨。
B: 所有鸟都是动物。没有树是鸟。所以，没有树是动物。
C: 张三喜欢李四。李四喜欢王五。所以，张三喜欢王五。
D: 如果2+2=5，那么地球是方的。但2+2≠5。所以，地球不是方的。
A: 如果天下雨，那么地上湿。地上没有湿，所以，天上没有下雨。
B: 所有鸟都是动物。没有树是鸟。所以，没有树是动物。
C: 张三喜欢李四。李四喜欢王五。所以，张三喜欢王五。
D: 如果2+2=5，那么地球是方的。但2+2≠5。所以，地球不是方的。
举一反三
- 如果2+2=5，那么地球是方的，因为2+2≠5，所以地球不是方的，这个推理是错误的。
- 下列推理只有使用词项逻辑才能揭示其有效性的是： A: 如果天下雨，则地湿。地没有湿，所以天没有下雨。 B: 如果A阀门漏气或者B阀门漏气，那么锅炉将不工作。所以，如果A阀门漏气则锅炉不工作，并且如果B阀门漏气则锅炉不工作。 C: 或者是张三偷吃了蛋糕，或者是李四偷吃了蛋糕。所以，如果张三没有偷吃蛋糕，那么李四就偷吃了蛋糕。 D: 所有的鸟都不是哺乳动物，所有的企鹅都是鸟，所以，所有的企鹅都不是哺乳动物。
- “张三认识李四，李四认识王五，所以张三认识王五”这个推理是正确的（ ）
- 利用消解原理证明下列推理的正确性:如果张三努力工作,那么李四或王五感到高兴;如果李四感到高兴,那么张三不努力工作;如果刘六高兴,那么王五不高兴.所以,如果张三努力工作,则刘六不高兴.
- “如果天下雨，则地湿。地没有湿，所以天没有下雨。”下列推理与上述推理形式不同的是：