作者fmtshk (fmtshk)
看板Grad-ProbAsk
标题[理工]离散_(命题逻辑)p.10-79
时间Fri Apr 19 00:32:57 2019
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才找出来
想问这种题目有没有甚麽固定技巧?
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 36.226.70.211
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1555605179.A.E8C.html
2F：→ raysun011081: 2.我是用暴力法 04/19 01:02
3F：→ yyc2008: 楼上网址最後一个等号怎麽出来的 要不要解释一下? 04/19 01:14
4F：推 raysun011081: q and r必为0阿，所以就变成最後一个式子了 04/19 01:25
5F：→ Ricestone: 上面这推的解释是错的，没有两个中必须有个0的前提 04/19 02:42
6F：→ Ricestone: 比较简单的做法是在(q and r)补上and (p or ~p) 04/19 02:44
7F：→ Ricestone: 如此形成(q & r & ~p) or (q & r & p) 04/19 02:45
8F：→ Ricestone: 接着就能分别跟前两个括号用吸收律消掉了 04/19 02:45
9F：推 raysun011081: 谢谢楼上修正 04/19 07:37
10F：→ fmtshk: 看懂了,感谢啦 04/20 00:35