用真值表验证┐p^q→┐q是否是有效式。

用真值表验证┐p^q→┐q是否是有效式。
【正确答案】：由上表可知：┐p^q→┐q不是有效式。