[理工]离散_(命题逻辑)p.10-79
楼主: fmtshk (fmtshk) 2019-04-19 00:32:57
https://i.imgur.com/YvUeTAD.jpg
请问这题:if "p" then "q" else "r"
前面学到(若p则q)是写成(p→q)
但那个else "r"要怎么表示?
我原本觉得应该是，如果(p→q)是flase，则答案等于r
但好像不太对?
然后解答说它等价(p^q)v(~p^r)，这过程是怎么转换的？
https://i.imgur.com/DPI4doh.jpg
另外是这题
一开始自己找的反例是p=q=1,r=s=0
带入后应该是没问题
但我就是随便乱代，先给S代个1，然后p,q,r也随便试一下
发现不行又把S换0才找出来
想问这种题目有没有什么固定技巧?
请问这题:if "p" then "q" else "r"
前面学到(若p则q)是写成(p→q)
但那个else "r"要怎么表示?
我原本觉得应该是，如果(p→q)是flase，则答案等于r
但好像不太对?
然后解答说它等价(p^q)v(~p^r)，这过程是怎么转换的？
https://i.imgur.com/DPI4doh.jpg
另外是这题
一开始自己找的反例是p=q=1,r=s=0
带入后应该是没问题
但我就是随便乱代，先给S代个1，然后p,q,r也随便试一下
发现不行又把S换0才找出来
想问这种题目有没有什么固定技巧?
作者: raysun011081 (sanfrain011081) 2019-04-19 01:01:00
" target="_blank" rel="nofollow">2.我是用暴力法作者: yyc2008 (MAGA) 2019-04-19 01:14:00
楼上网址最后一个等号怎么出来的 要不要解释一下?
作者: raysun011081 (sanfrain011081) 2019-04-19 01:25:00
q and r必为0阿，所以就变成最后一个式子了
作者: Ricestone (麦饭石) 2019-04-19 02:42:00
上面这推的解释是错的，没有两个中必须有个0的前提比较简单的做法是在(q and r)补上and (p or ~p)如此形成(q & r & ~p) or (q & r & p)接着就能分别跟前两个括号用吸收律消掉了
作者: raysun011081 (sanfrain011081) 2019-04-19 07:37:00
谢谢楼上修正
楼主: fmtshk (fmtshk) 2019-04-20 00:35:00
看懂了,感谢啦