单选题
某银行发生金库被盗大案，丢失了大量的现金。专案组在进行了翔实的调查后发现，该银行的三名内部人员甲、乙、丙三人涉嫌，经审讯，发现了以下几个事实。
Ⅰ金库的大门是利用密码破解的，破解大门密码必须了解机密的密码本信息。
Ⅱ如果甲作案，那么丙一定参与。
Ⅲ乙不可能知晓机密的密码本信息。
Ⅳ作案者就是这三人中的一人或一伙。
从上述条件，可以推出以下哪项结论?
【正确答案】
C
【答案解析】[解析] 题干中查明的均是事实，均为真，将条件写为公式：(1)了解机密密码本←密码破解；(2)甲→丙；(3)乙为非了解机密密码本；(4)甲∨乙∨丙。
根据这四个条件，乙不了解机密密码本信息，故乙不是作案者。
将乙不是作案者代入条件(4)可知，作案者为甲∨丙。
假设甲作案，则根据条件(2)可知，丙必作案。
假设甲没作案，根据条件(4)公式，否定甲作案，则必肯定丙作案，则说明作案者中也必有丙，故选C。
[考点] 本题考核假言命题推理。