
下列五种命题形式中,与“非p或者q”等值的命题形式是()。 A. 并非(p并且非q) B. q或者非p C. p并且非q D. 如果p那么q E. 只有p才q
好,我们先来一步步推理。
题目给的命题形式是:
这是“如果 p 则 q”的逻辑形式,在经典逻辑中两者是等值的。
证明:
的真值表是:当 p 真且 q 假时为假,否则为真。
的真值表是:当 p 真且 q 假时 假,q 假,所以析取假;否则为真。
结果完全一致。
A. 并非(p并且非q)
的否定就是 。
由德摩根律,。
所以 A 与题中等值。
B. q 或者 非 p
这就是 ,只是语序不同,所以 B 与题中等值。
C. p 并且非 q
是 ,这是 的否定,不相等。
D. 如果 p 那么 q
即 ,所以等值。
E. 只有 p 才 q
“只有 p 才 q” 的逻辑形式是 (或者理解为:q 蕴含 p),与 不同。
,不一定是 ,除非 p、q 特殊关系,所以一般不等值。
等值的是 A、B、D。
但题中说“下列五种命题形式中,与‘非p或者q’等值的命题形式是”——是单选还是多选?
五个形式:A、B、C、D、E,那么同时等值的有 A、B、D。
但如果是单选,则要选最直接的标准形式。
一般教材中会把 (如果 p 那么 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”,而且这是教材中最直接的等价,所以我的最终选择是: