都会，而不是有人会，陈博之前学逻辑学绕了好大一个弯才理解过来。

从这个推断反证，唯一真的条件应该是条件一，陈博把条件一为真，其他为假代入验证。

有人会使用计算机。

所有人都会使用计算机。

所长会使用计算机。

三个判断均正确，因此答案是全部人都会，题干提到事务所有12个人，所以对应的结果为12人。

“玛德，又是逻辑推理。”

陈博挠挠头，这种题目贼费时间，对于眼下的处境来说无异于火上浇油，但好处是正确率奇高，基本推一个一个准。

仓库失窃有四名嫌疑人，甲说我们四人都没作案；乙说我们中有人作案，丙说乙和丁至少有一人没作案；丁说我没作案。

这回难度升级了，两人说了真话，问谁说了真话。

陈博粗略扫了眼，解题的思路在找到矛盾点上，甲和乙的言论相斥，两人必定一真一假。

再用充分必要条件推出丁如果是真话，则丙必定是真话，与大前提甲乙之间一真一假相冲突。

所以只能锁定丁是假话，根据丁假丙真的推论得出甲和乙之间说真话的是乙。

“你好，你的美式咖啡到了。”

“好的，谢谢。”陈博扭过头，被惊呆了。请牢记收藏,网址 最新最快无防盗免费阅读