作者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/m.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