K12教育赛事综合服务平台
聚乐之家官方网站
下载聚乐之家官方App
专注青少年竞赛题库网站
已知命题变元p、q，以下四个推理形式中，推理有效的是：
前提：p→q，p；结论：q
前提：p→q，q；结论：p
前提：p→q，¬p；结论：¬q
前提：p∨q，¬p；结论：¬q