从真值表来验证（（p→q）∧﹁p）├﹁q是否为有效式
从真值表来验证（（p→q）∧﹁p）├﹁q是否为有效式
【正确答案】：
Top
×
×