📜  门| GATE-CS-2017(Set 1)|第40章

📅  最后修改于: 2021-06-29 11:06: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为假。这不是重言式。选项(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提供。

    这个问题的测验