作者u0424064 (ching)
看板Grad-ProbAsk
标题[理工] 离散 命题逻辑
时间Fri Nov 22 16:29:14 2019
https://i.imgur.com/I4VxURA.jpg
想问这题证明一定要这样写吗？
还是可以直接假设statement is true
则A,B,(B—>C) ... is true
所以C is true,则C’ is false
因此D is true, 我可以用这个方式证吗?
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 110.26.1.79 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1574411356.A.60C.html
1F：→ Ricestone: 你讲的意思跟详解一样啊，正式写就长这样 11/22 16:36
2F：→ mistel: 问一下那旁边那个reasons要怎麽写 Modus等等的记都记不起 11/22 18:33
3F：→ mistel: 来... 11/22 18:33
4F：→ Ricestone: 其实就MP比较特别，不然就写中文吧 11/22 18:50
6F：→ u0424064: 因为看到有一题是这样 11/22 21:21
7F：→ u0424064: 不过题目是validate the statement 11/22 21:22
8F：→ u0424064: 所以可以像这题这样写吗? 11/22 21:23
9F：→ Ricestone: 详解就是把"因为XXtrue，所以XXtrue"是用什麽依据写出 11/22 21:27
10F：→ Ricestone: 来啊 11/22 21:27
11F：→ Ricestone: 简单来说就是你认为该不该写Reasons出来而已 11/22 21:34
12F：→ Ricestone: 不然甚至真值表都可以用来验证是否成立 11/22 21:38
13F：→ u0424064: 嗯 明白了 所以考试时还是需要写reasons出来比较好吧 11/22 22:38
14F：→ u0424064: ？ 11/22 22:38
15F：→ Ricestone: 我是觉得写比较保险啦 11/22 22:43
16F：推 mistel: 原来如此，解惑了！ 11/22 22:52
17F：→ u0424064: 了解 感谢~~~ 11/22 23:28