1、p->q 前提引入
2、p 附加前提引入（结论为蕴含式时可以用）
3、q 1、2假言推理.
4.pvq 2,3附加律
所以就可以证出前提是p蕴含q 结论是p蕴含(p且q) .结论是p合取q 不是 p析取q?哦，我看错啦。那你就把4改为p∧q，因为p和q真值都是1，所以p∧q得真值也是1，所以就可以得p∧q。这是用合取引入。