K12教育赛事综合服务平台
聚乐之家官方网站
下载聚乐之家官方App
专注青少年竞赛题库网站
有效推理指当前提全部为真时，结论必然不可能为假。现有四个命题逻辑推理，其前提与结论均为命题逻辑公式，请选出符合有效推理规则的选项：
前提：$p \to q$，$p$；结论：$q$
前提：$p \to q$，$q$；结论：$p$
前提：$p \to q$，$\neg p$；结论：$\neg q$
前提：$p \lor q$，$\neg p$；结论：$\neg q$