📜  门| GATE-CS-2017(Set 1)|问题18

📅  最后修改于: 2021-06-29 11:01:24             🧑  作者: Mango

语句(¬p)→(¬q)在逻辑上等同于以下哪个语句?

一,p→q

二。 q→p

三, (¬q)∨p

IV。 (¬p)∨q
(A)我只
(B)仅I和IV
(C)仅II
(D)仅II和III答案: (D)
说明:鉴于,

(¬p)→(¬q)
=¬(¬p)∨(¬q){因为x→y =¬(x)y y}
=(¬¬p)∨(¬q)
=(p)∨(¬q){使用双重否定规则}
=(¬q)∨(p)(等于语句(iii))
=(q)→(p){因为x→y =¬(x)∨}
(等同于声明(ii))

因此,选项(D)是正确的。
这个问题的测验