[已解决]离散数学问题

张世来4610484

（P^Q）->(PvQ)是重言式吗，怎么证明（不用真值表）

最佳答案

月排行榜 / 总排行榜

Tripping

2020-11-3 17:54:25

     （P∧Q）→(P∨Q)
<=>┐(P∧Q）∨(P∨Q)
<=>┐P∨┐Q∨P∨Q
<=>T
手写图片太大上传不了。。。

跳转到最佳答案楼层

Tripping

     （P∧Q）→(P∨Q)
<=>┐(P∧Q）∨(P∨Q)
<=>┐P∨┐Q∨P∨Q
<=>T
手写图片太大上传不了。。。

巴巴鲁

可以用假设法，两种方法：
0.假设（P^Q）为真，证明（PvQ）为真即可
1.假设（PvQ）为假，证明（P^Q）为假即可

张世来4610484

巴巴鲁 发表于 2020-11-3 18:07
可以用假设法，两种方法：
0.假设（P^Q）为真，证明（PvQ）为真即可
1.假设（PvQ）为假，证明（P^Q）为假 ...

你倒是用数学方法证啊，还有就是这个是重言式吗

巴巴鲁

张世来4610484 发表于 2020-11-3 18:31
你倒是用数学方法证啊，还有就是这个是重言式吗

思路给你了，至于是不是重言式，我也不知道，自己证一下就好了

Tripping

file:///C:/Users/14649/Desktop/IMG_20201105_012640.jpg

赚小钱