用真值表来验证((﹁p→﹁q)∧p)├q是否为有效式。
用真值表来验证((﹁p→﹁q)∧p)├q是否为有效式。
【正确答案】:

((﹁p→﹁q)∧p)├q的真值表如下:由上表可知,((﹁p→﹁q)∧p)├q不是永真式,所以是无效式。


Top