来一道逻辑推理题考考大家: 已知: 1、如果甲和乙都是小偷,那么丙无罪; 2、丙有罪,并且丁无罪; 3、如果丁无罪,那么乙是小偷。 问题:甲是不是小偷?乙是不是小偷? 解答: 甲不是小偷;乙是小偷。 分析: 结论1:将已知条件2“丁无罪”代入已知条件3可以推导出乙是小偷; 结论2:由已知条件2“丙有罪”结合已知条件1可知甲和乙不能同时为小偷,再由结论1“乙是小偷”可以推导出甲不是小偷。