问答题 用真值表来验证((p→q)^┐p)Ⱶ┐q是否为有效式。
【正确答案】无
【答案解析】由上表可知，((p→q)^┐p)Ⱶ┐q为无效式。