单项选择题 运用反证法进行论证时，主要运用的推理形式是充分条件假言推理的（）

问答题 某中学高二班的一次联欢会上，进行了一次猜谜，这个谜是这样的：桌子上放了三只盒子：一只绿色，一只蓝色，一只红色。在每只盒子上都粘了一张纸条，纸条上写着不同的话：绿盒子上写着：糖果不在此盒中；蓝盒子上写着：糖果在此盒中；红盒子上写着：糖果不在蓝盒中。主持晚会的文娱委员说：“三只盒子中，只有一只盒子上的话是真的，其余两只盒子上的话都是假的，请大家通过这三句话来猜一猜糖果在哪一只盒子里，猜对的，请吃盒子里的糖。”李姗姗很快就猜出来了。请问：李姗姗是怎样猜出来的？

问答题 甲、乙、丙、丁四人背地里议论新调到本车间的小李。当议论到小李原来是做什么工作时，甲说：“小李或者是车工，或者是钳工。”乙说：“不对!他既不是车工，也不是钳工。”丙说：“你们俩说的都对。”丁说：“不!甲和乙说的都不对。”请运用普通逻辑基本规律的知识，分析丙和丁的话有无错误，如有错误，各是什么错误？