针对“(A且B)→C”的猜想及论证

针对“(A且B)→C”的猜想及论证

利用上面假言命题的等值命题规则，我们可以将“(A且B)→C”理解为“非A或非B或C”。由此可以发现，A→(B→C)等价于(A且B)→C等价于非A或非B或C。说明我们上文的猜想是成立的。

他们的关系图示如下：

【例题】针对作弊屡禁不止的现象，某学院某班承诺，只要全班同学都在承诺书上签字，那么，如果全班有一人作弊，全班同学的考试成绩都以不合格计。校方接受并实施了该班的承诺，结果班上还是有人作弊，但班上的考试成绩是优秀。

从上述判断逻辑得出的结论是( )

A.班长采取不正当手段使校方没有严格实施承诺

B.全班多数人没有作弊

C.全班没有人在承诺书上签字

D.全班有人没在承诺书上签字