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

2025-05-20 14:46:55
推荐回答(1个)
回答1:

1、p->q 前提引入
2、p 附加前提引入(结论为蕴含式时可以用)
3、q 1、2假言推理.
4.pvq 2,3附加律
所以就可以证出前提是p蕴含q 结论是p蕴含(p且q) 。希望对你有帮助。