单选题
能够成立的推理形式是 （）
A、
((pV q)→r)^pⱵ┐r
B、
┐(p^q)Ⱶp
C、
(p→q)^┐q Ⱶ┐p
D、
pV qV rⱵr
【正确答案】
C
【答案解析】
由下列真值表可知，(p→q)^┐qⱵ┐p推论成立。
提交答案
关闭
