PTT
Submit
Submit
选择语言
正體中文
简体中文
PTT
Grad-ProbAsk
[理工]离散_(命题逻辑)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才找出来
想问这种题目有没有什么固定技巧?
作者:
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
看懂了,感谢啦
继续阅读
[理工] [电机机械]感应电动机
aicopa
[理工] OS 关于system call的问题
gash55025502
[理工] 线代 逢甲工工90
ll33457791
[理工] 线代 子空间判断
ll33457791
[理工] 线代7-10 例8
fmtshk
[理工] 线代_p.7-7 例5
fmtshk
[理工] 电路学-节点和网目分析
aicopa
[理工] 线代5-138 优势特征根怎么找初始向量?
fmtshk
[理工] 线性代数第四章观念问题
boxunlu
[理工] 算法p107-108!
Aa841018
Links
booklink
Contact Us: admin [ a t ] ucptt.com