K12教育赛事综合服务平台
聚乐之家官方网站
下载聚乐之家官方App
专注青少年竞赛题库网站
已知命题变元p、q,以下四个推理形式中,符合命题逻辑推理规则的有效推理是:
$(p \to q) \land p \Rightarrow q$
$(p \to q) \land q \Rightarrow p$
$(p \to q) \land \neg p \Rightarrow \neg q$
$(p \lor q) \land \neg q \Rightarrow \neg p$