用真值表来验证p→q,┐q├┐p是否为有效式。

 

【正确答案】

【答案解析】