用真值表来验证(p→(q∧¬q))├¬p是否为有效式。
用真值表来验证(p→(q∧¬q))├¬p是否为有效式。
【正确答案】:演绎推理(二):基于命题推理——假言推理
Top