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

2026年09月25日 07:58

有1个网友回答

网友（1）：

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

最新问答

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