用真值表来验证，┐（p∧q）├p→┐q是否为有效式。

用真值表来验证，┐（p∧q）├p→┐q是否为有效式。
【正确答案】：

┐（p∧q）├p→┐q的真值情况如下：


所以，┐（p∧q）├p→┐q是有效式。
（注：每行1分，结论2分，共计6分）