在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理证明

问题描述:

在离散数学中 前提是p蕴含q 结论是p蕴含(p且q) 的推理证明

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。这是用合取引入。