📜  门| GATE-CS-2017(套装1)|第 40 题

📅  最后修改于: 2021-09-25 05:07:26             🧑  作者: Mango

设 p、q 和 r 是命题,表达式 (p -> q) -> r 是一个矛盾。那么,表达式 (r -> p)-> q 是

(一)同义反复
(二)矛盾
(C)当 p 为 FALSE 时总是 TRUE
(D)当 q 为 TRUE 时始终为 TRUE答案: (D)
解释:当 q 为真时,表达式 (r → p) → q 始终为真,而不管表达式 (p → q) → r 的值如何。

替代解决方案

  • 选项(A) :如果(p → q)→ r 为假,则(p → q)为真,r 为假。

    可能的情况是
    (i) p 为真,q 为真,r 为假
    (ii) p 为假,q 为真,r 为假
    (iii) p 为假,q 为假,r 为假
    对于情况 (iii), (r → p) → q 为 false 。这不是同义反复。选项(A)不正确。

  • 选项 (B) :对于情况 (i) 和情况 (ii),(r → p) → q 为真。
    这不是矛盾,选项(B)不正确。
  • 选项 (C) : 对于情况 (iii),p 是假的并且 (r → p) → q 也是假的
    选项(C)不正确。
  • 选项(D) :仅对于情况(i)和情况(ii),q为真
    对于这两种情况,(r →p) →q 为真。选项(D)为真

    此解释由Sumouli Chaudhary 提供。

    这个问题的测验