作者anacyl (班尼迪克蛋荷兰酱)
看板Grad-ProbAsk
标题[理工] 离散 104成大电通
时间Fri Jul 10 12:27:04 2020
https://i.imgur.com/n3KXXKI.jpg
请问为什麽可以直接消去R
谢谢
-----
Sent from JPTT on my iPad
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 125.230.90.163 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1594355226.A.24B.html
1F：推 fly168: truth table画一下啊 07/10 12:37
2F：→ Ricestone: (P->Q)&P <=> (~P|Q)&P <=> (~P&P)|(Q&P) <=> Q&P 07/10 12:42
3F：→ Ricestone: 然後析取，可推得 => Q 07/10 12:42
4F：→ Ricestone: 这不是等价，而是推论 真值表不需要一样 07/10 12:43
5F：→ Ricestone: 纸上(?)右边那东西其实就是我写的意思 07/10 12:45
6F：→ Ricestone: 直接理解就是 若A则B，而且现在确定有A，那我可以知道 07/10 12:47
7F：→ Ricestone: 有B 07/10 12:47
8F：→ Ricestone: 上面析取应该讲合取除去(Conjunction elimination)才对 07/10 12:51
9F：→ Ricestone: 不过这一堆本身就叫肯定前件(MP)规则了 07/10 12:52
10F：→ cossetannie: 题目已经假设R是false了 07/10 12:57
11F：→ CSGD: 1到2 : 若p则q 等价 非q则非p 07/15 10:27
12F：→ CSGD: 2到3 : 若p则q且p为真 等价 q为真 07/15 10:27
13F：→ Ricestone: 那不叫等价，等价的是p真且q真 q真是推演结果 07/15 12:13
15F：→ sone90935: 题目已假设r false 不然我划箭头那真值表出来会有true 07/21 11:50
16F：→ sone90935: false两种情况 07/21 11:50
17F：→ Ricestone: 你们要先弄清楚什麽叫等价，什麽叫推演 07/21 12:02
18F：→ Ricestone: 还有那个假设r是false或怎麽样的只是差在多and一个 07/21 12:02
19F：→ Ricestone: ~R罢了，所谓的"r为false"本身就是一个具有真假值的叙 07/21 12:03
20F：→ Ricestone: 述，它就是用真值表时，假设R为F时结果是T，假设为T时 07/21 12:04
21F：→ Ricestone: 结果为F的叙述 07/21 12:04
22F：→ Ricestone: 然後sone的第五个等号错了，右边~R要跟~(PandQ)括在一 07/21 12:13
23F：→ Ricestone: 起 07/21 12:13
24F：→ Ricestone: 应该说第四个等号那边就该括好了 07/21 12:14
25F：→ Ricestone: 所以~R在第五个等号那边不会消失 07/21 12:14