问题 问答题

用真值表来验证((p→q)∧┓q)├┓P是否为有效式。

答案

参考答案:

 由上表可知,((p→q)∧┓q)├┓P为有效式。

填空题
单项选择题