试问这五名工作人员哪几人进入了金库？写出推导过程。
【正确答案】：设判断A表示“A进去了”，判断B表示“B进去了”，以此类推，则题干的条件可以表示为：（1）A→B（2）D和E；D、﹁E；﹁D、E（3）BC（4）D→C，但不一定C→D（5）E→（A和D）（6）C由（6）和（3）可知C、﹁B假设A真，则（1）与﹁B矛盾，可知﹁A因为﹁A及（5）可知﹁E因为（4）及（6）可知D为真所以C和D进入了金库，A、B、E没有进入金库。
【题目解析】：设判断A表示“A进去了”，判断B表示“B进去了”，以此类推，则题干的条件可以表示为： （1）A→B （2）D和E；D、﹁E；﹁D、E （3）BC （4）D→C，但不一定C→D （5）E→（A和D） （6）C 由（6）和（3）可知C、﹁B 假设A真，则（1）与﹁B矛盾，可知﹁A 因为﹁A及（5）可知﹁E 因为（4）及（6）可知D为真 所以C和D进入了金库，A、B、E没有进入金库。
