离散数学问题
（P^Q）->(PvQ)是重言式吗，怎么证明（不用真值表） （P∧Q）→(P∨Q)<=>┐(P∧Q）∨(P∨Q)
<=>┐P∨┐Q∨P∨Q
<=>T
手写图片太大上传不了。。。 可以用假设法，两种方法：
0.假设（P^Q）为真，证明（PvQ）为真即可
1.假设（PvQ）为假，证明（P^Q）为假即可 巴巴鲁 发表于 2020-11-3 18:07
可以用假设法，两种方法：
0.假设（P^Q）为真，证明（PvQ）为真即可
1.假设（PvQ）为假，证明（P^Q）为假 ...
你倒是用数学方法证啊，还有就是这个是重言式吗 张世来4610484 发表于 2020-11-3 18:31
你倒是用数学方法证啊，还有就是这个是重言式吗
思路给你了，至于是不是重言式，我也不知道，自己证一下就好了 file:///C:/Users/14649/Desktop/IMG_20201105_012640.jpg
页:
[1]