试问这五名工作人员哪几人进入了金库？写出推导过程。
设判断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没有进入金库。
