作者AAQ8 ()
看板Grad-ProbAsk
标题[理工] 离散 逻辑问题
时间Tue Oct 2 14:35:25 2018
https://i.imgur.com/BoU3RuM.jpg
https://i.imgur.com/arDcjkS.jpg
https://i.imgur.com/dHOelgD.jpg
想请问像这种逻辑等价的问题
答案是否会唯一
因为我算出来的值都跟答案相反
但是一样可以证明箭头的左边与右边皆true
麻烦各位解惑
感恩
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 219.70.197.208
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1538462128.A.342.html
1F：→ Ricestone: 你右边证出F->F 不够 证明若p则q 是要确认p T则 q T 10/02 15:13
2F：→ Ricestone: 也就是解答上(1)在说的事情 10/02 15:14
3F：→ Ricestone: 应该说你右边确认的不是->关系 10/02 15:18
4F：推 Bpassion: 题干是说 假设那三个前提是true的话 则结论是true 结论 10/02 16:10
5F：→ Bpassion: 是 not(q)->s 要证明这个命题是true 也可以由命题本身 10/02 16:10
6F：→ Bpassion: 的前提 也就是not(q) 假设它为true 则 s为 true (direct 10/02 16:10
7F：→ Bpassion: proof) 前面的三个假设是用来确认 s为true的 你要用s 10/02 16:10
8F：→ Bpassion: 为false也行 但你要透过前面三个假设去确定 not(q) 是fa 10/02 16:10
9F：→ Bpassion: lse 不是一开始就在结论本身就推导他是false 10/02 16:10