[理工] 離散 104成大電通

看板Grad-ProbAsk作者 (班尼迪克蛋荷蘭醬)時間4年前 (2020/07/10 12:27), 編輯推噓2(2推 0噓 23→)
留言25則, 5人參與, 4年前最新討論串1/1
https://i.imgur.com/n3KXXKI.jpg
請問為什麼可以直接消去R 謝謝 ----- Sent from JPTT on my iPad -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 125.230.90.163 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1594355226.A.24B.html
推
07/10 12:37, 4年前 , 1F
truth table畫一下啊
07/10 12:37, 1F
→
07/10 12:42, 4年前 , 2F
(P->Q)&P <=> (~P|Q)&P <=> (~P&P)|(Q&P) <=> Q&P
07/10 12:42, 2F
→
07/10 12:42, 4年前 , 3F
然後析取，可推得 => Q
07/10 12:42, 3F
→
07/10 12:43, 4年前 , 4F
這不是等價，而是推論 真值表不需要一樣
07/10 12:43, 4F
→
07/10 12:45, 4年前 , 5F
紙上(?)右邊那東西其實就是我寫的意思
07/10 12:45, 5F
→
07/10 12:47, 4年前 , 6F
直接理解就是 若A則B，而且現在確定有A，那我可以知道
07/10 12:47, 6F
→
07/10 12:47, 4年前 , 7F
有B
07/10 12:47, 7F
→
07/10 12:51, 4年前 , 8F
上面析取應該講合取除去(Conjunction elimination)才對
07/10 12:51, 8F
→
07/10 12:52, 4年前 , 9F
不過這一堆本身就叫肯定前件(MP)規則了
07/10 12:52, 9F
→
07/10 12:57, 4年前 , 10F
題目已經假設R是false了
07/10 12:57, 10F
→
07/15 10:27, 4年前 , 11F
1到2 : 若p則q 等價 非q則非p
07/15 10:27, 11F
→
07/15 10:27, 4年前 , 12F
2到3 : 若p則q且p為真 等價 q為真
07/15 10:27, 12F
→
07/15 12:13, 4年前 , 13F
那不叫等價，等價的是p真且q真 q真是推演結果
07/15 12:13, 13F
推
07/21 11:49, 4年前 , 14F
07/21 11:49, 14F
→
07/21 11:50, 4年前 , 15F
題目已假設r false 不然我劃箭頭那真值表出來會有true
07/21 11:50, 15F
→
07/21 11:50, 4年前 , 16F
false兩種情況
07/21 11:50, 16F
→
07/21 12:02, 4年前 , 17F
你們要先弄清楚什麼叫等價，什麼叫推演
07/21 12:02, 17F
→
07/21 12:02, 4年前 , 18F
還有那個假設r是false或怎麼樣的只是差在多and一個
07/21 12:02, 18F
→
07/21 12:03, 4年前 , 19F
~R罷了，所謂的"r為false"本身就是一個具有真假值的敘
07/21 12:03, 19F
→
07/21 12:04, 4年前 , 20F
述，它就是用真值表時，假設R為F時結果是T，假設為T時
07/21 12:04, 20F
→
07/21 12:04, 4年前 , 21F
結果為F的敘述
07/21 12:04, 21F
→
07/21 12:13, 4年前 , 22F
然後sone的第五個等號錯了，右邊~R要跟~(PandQ)括在一
07/21 12:13, 22F
→
07/21 12:13, 4年前 , 23F
起
07/21 12:13, 23F
→
07/21 12:14, 4年前 , 24F
應該說第四個等號那邊就該括好了
07/21 12:14, 24F
→
07/21 12:14, 4年前 , 25F
所以~R在第五個等號那邊不會消失
07/21 12:14, 25F
‣ 更多 anacyl 的文章
文章代碼(AID): #1V1-uQ9B (Grad-ProbAsk)