作者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