甲乙丙三人商量去钓鱼，甲说：如果乙去，我就去；乙说：如果我不去，丙也不会去；丙说…
甲乙丙三人商量去钓鱼，甲说：如果乙去，我就去；乙说：如果我不去，丙也不会去；丙说：如果甲 不去，那么我就去。 那么可以推出的是：
A. 甲去钓鱼
B. 乙去钓鱼
C. 丙去钓鱼
D. 乙不去钓鱼
答案与解析
正确答案：A
花生十三讲解
用翻译推理的假设反证法。翻译：甲：乙→甲；乙：非乙→非丙；丙：非甲→丙。假设甲不去，由丙的话可得丙去；由乙的话取逆否得丙去→乙去，故乙去；再由甲的话乙去→甲去，得出甲去，与假设矛盾。因此甲一定去钓鱼。乙、丙是否去无法确定，故B、C、D均不能必然推出。确认答案为A。
原解析
逻辑推理：甲的话对，丙的答案对