PTT
Submit
Submit
选择语言
正體中文
简体中文
PTT
Grad-ProbAsk
[理工] 离散 逻辑问题
楼主:
nO25948
(chenyuyan)
2017-11-15 17:10:16
https://i.imgur.com/B9QmoTm.jpg
https://i.imgur.com/JyfXhK8.jpg
想问我这样写的观念和方法对吗
我是先找有没有
1234为true,5为false的反例
没有的话就恒真
顺便祝大家考试加油,都能上自己要的学校
作者:
brilliantl
(brilliant)
2017-11-16 15:08:00
不太懂你的步骤的部分,为什么1. A, B为true 2.A^B为true题目问这个式子是不是恒真,意思是不管A,B,C,D是trueor false,这个式子都是true,所以我觉得不能这样假设,如果要用假设的,要考虑所有可能的组合
作者:
JKLee
(J.K.Lee)
2017-11-16 19:09:00
我觉得可以用反证法
楼主:
nO25948
(chenyuyan)
2017-11-16 19:33:00
我是先假设1234为true,所以得A,B为true然后true^true为true,在去推D or ~C一定要true最后因为找不到1234为true 5为false的反例,所以恒真所以题目不是问只要1234true D就永远为true吗J大想问该怎么用,我不太懂
作者:
shownlin
(哈哈阿喔)
2017-11-16 20:47:00
找不到反例也不能说你证明完成,这题不是是非题你的方法其实就是矛盾证法了
作者:
JKLee
(J.K.Lee)
2017-11-16 23:07:00
为何这题不能用矛盾证法? 难道矛盾证法的效力较弱?
楼主:
nO25948
(chenyuyan)
2017-11-16 23:34:00
所以这样写拿不到分吗=_=那我只剩真值表了
作者:
JKLee
(J.K.Lee)
2017-11-16 23:37:00
n大不是已经证明了不存在反例,所以恒真。哪里有问题?
作者:
shownlin
(哈哈阿喔)
2017-11-16 23:39:00
可以用矛盾证法......只是原po的说法我看成“因为找不到单一反例,所以得证。”抱歉没说清楚
楼主:
nO25948
(chenyuyan)
2017-11-17 01:03:00
是我描述能力差,谢谢你们啦!
继续阅读
[理工] OS process vs. thread
s9e0ay917
[理工] 线代 线性映射 证明 写法问题
hopixar
[理工] OS 几题问题
TMDTMD2487
[理工] OS 关于Virtual Machine
TMDTMD2487
[理工] 104台大资工资演
kobebset105
[理工] 99台联大电机 计组 memory access
defsrisars
[理工] 资工 KMP 算法 failure function
can18
[理工] 算法 103交大 divide and conquer
s1020824
[计组] 100中正资工 prefetching
king8313
[理工] 计组101台大电机
ss455032
Links
booklink
Contact Us: admin [ a t ] ucptt.com