组词大全

下列五种命题形式中,与“非p或者q”等值的命题形式是()。 A. 并非(p并且非q) B. q或者非p C. p并且非q D. 如果p那么q E. 只有p才q

下列五种命题形式中,与“非p或者q”等值的命题形式是()。 A. 并非(p并且非q) B. q或者非p C. p并且非q D. 如果p那么q E. 只有p才q

好,我们先来一步步推理。

题目给的命题形式是:

¬p 或者 q\neg p \ \text{或者} \ q

1. 先记住逻辑等价关系

¬pqpq\neg p \vee q \quad \equiv \quad p \to q

这是“如果 p 则 q”的逻辑形式,在经典逻辑中两者是等值的。
证明:

pqp \to q 的真值表是:当 p 真且 q 假时为假,否则为真。

¬pq\neg p \vee q 的真值表是:当 p 真且 q 假时 ¬p\neg p 假,q 假,所以析取假;否则为真。
结果完全一致。


2. 选项分析

A. 并非(p并且非q)

p¬qp \wedge \neg q 的否定就是 ¬(p¬q)\neg(p \wedge \neg q)

由德摩根律,¬(p¬q)¬pq\neg(p \wedge \neg q) \equiv \neg p \vee q

所以 A 与题中等值。

B. q 或者 非 p

这就是 ¬pq\neg p \vee q,只是语序不同,所以 B 与题中等值。

C. p 并且非 q

p¬qp \wedge \neg q,这是 ¬pq\neg p \vee q 的否定,不相等。

D. 如果 p 那么 q

pq¬pqp \to q \equiv \neg p \vee q,所以等值。

E. 只有 p 才 q

“只有 p 才 q” 的逻辑形式是 qpq \to p(或者理解为:q 蕴含 p),与 pqp \to q 不同。

qp¬qpq \to p \equiv \neg q \vee p,不一定是 ¬pq\neg p \vee q,除非 p、q 特殊关系,所以一般不等值。


3. 正确答案

等值的是 A、B、D
但题中说“下列五种命题形式中,与‘非p或者q’等值的命题形式是”——是单选还是多选?
五个形式:A、B、C、D、E,那么同时等值的有 A、B、D。
但如果是单选,则要选最直接的标准形式。
一般教材中会把 pqp \to q(如果 p 那么 q) 与 ¬pq\neg p \vee q 视为等价,且“并非(p并且非q)”也等价。
“q 或者 非 p”只是交换语序,当然也等价。
不过,如果只有一个选项最经典,那就是 D(如果 p 那么 q)。

但如果是多选,那就是 A、B、D。

在普通单选题中,可能他们会出“下列……等值的是:”然后四个选项里只有一个真正等价。
检查选项,如果只是单选:

A:等价
B:等价
C:不等价
D:等价
E:不等价

所以如果只让选一个,题目本身有误(多个等价),但通常出题人可能没注意到B(q 或者 非p)和原句是一样的,以为D才是“主要等价形式”。
但如果按常规,选一个,多数教辅会答 D,有时把 A 排除,因为需要改写一次才看出等价,但确实A等价,而且最常用转换是“如果 p 那么 q”。


鉴于通常考的是 “若非 p 或 q”等价于“如果 p 则 q”,而且这是教材中最直接的等价,所以我的最终选择是:

D\boxed{D}

相关成语


成语首拼