[理工] 离散命题逻辑 u0424064 PTT批踢踢实业坊

楼主: u0424064 (ching) 2019-11-22 16:29:14

https://i.imgur.com/I4VxURA.jpg
想问这题证明一定要这样写吗？
还是可以直接假设statement is true
则A,B,(B—>C) ... is true
所以C is true,则C’ is false
因此D is true, 我可以用这个方式证吗?

作者: Ricestone (麦饭石) 2019-11-22 16:36:00

你讲的意思跟详解一样啊，正式写就长这样

作者: mistel (Mistel) 2019-11-22 18:33:00

问一下那旁边那个reasons要怎么写 Modus等等的记都记不起来...

作者: Ricestone (麦饭石) 2019-11-22 18:50:00

其实就MP比较特别，不然就写中文吧

楼主: u0424064 (ching) 2019-11-22 21:21:00

https://i.imgur.com/Yl5KxgF.jpg因为看到有一题是这样不过题目是validate the statement所以可以像这题这样写吗?

作者: Ricestone (麦饭石) 2019-11-22 21:27:00

详解就是把"因为XXtrue，所以XXtrue"是用什么依据写出来啊简单来说就是你认为该不该写Reasons出来而已不然甚至真值表都可以用来验证是否成立

楼主: u0424064 (ching) 2019-11-22 22:38:00

嗯明白了所以考试时还是需要写reasons出来比较好吧？

作者: Ricestone (麦饭石) 2019-11-22 22:43:00

我是觉得写比较保险啦

作者: mistel (Mistel) 2019-11-22 22:52:00

原来如此，解惑了！

楼主: u0424064 (ching) 2019-11-22 23:28:00

了解感谢~~~

继续阅读