用真值表来验证（p∨q）∧﹁p├q是否为有效式。

历年真题

试题要求：

用真值表来验证（p∨q）∧﹁p├q是否为有效式。

试题来源：2018年10月行政管理本科考试《普通逻辑》真题及答案解析

试题解析：

答案：

　　答案见解析。

解析：

　　（p∨q）∧﹁p├q的真值表如下：

　　

　　在上面的真值表中，（p∨q）∧﹁p├q是永真式，所以（p∨q）∧﹁p├q是有效式。

考点：演绎推理（二）：基于命题的推理,选言推理

相似试题