推 fly168: truth table畫一下啊 07/10 12:37
→ Ricestone: (P->Q)&P <=> (~P|Q)&P <=> (~P&P)|(Q&P) <=> Q&P 07/10 12:42
→ Ricestone: 然後析取，可推得 => Q 07/10 12:42
→ Ricestone: 這不是等價，而是推論 真值表不需要一樣 07/10 12:43
→ Ricestone: 紙上(?)右邊那東西其實就是我寫的意思 07/10 12:45
→ Ricestone: 直接理解就是 若A則B，而且現在確定有A，那我可以知道 07/10 12:47
→ Ricestone: 有B 07/10 12:47
→ Ricestone: 上面析取應該講合取除去(Conjunction elimination)才對 07/10 12:51
→ Ricestone: 不過這一堆本身就叫肯定前件(MP)規則了 07/10 12:52
→ cossetannie: 題目已經假設R是false了 07/10 12:57
→ CSGD: 1到2 : 若p則q 等價 非q則非p 07/15 10:27
→ CSGD: 2到3 : 若p則q且p為真 等價 q為真 07/15 10:27
→ Ricestone: 那不叫等價，等價的是p真且q真 q真是推演結果 07/15 12:13
→ sone90935: 題目已假設r false 不然我劃箭頭那真值表出來會有true 07/21 11:50
→ sone90935: false兩種情況 07/21 11:50
→ Ricestone: 你們要先弄清楚什麼叫等價，什麼叫推演 07/21 12:02
→ Ricestone: 還有那個假設r是false或怎麼樣的只是差在多and一個 07/21 12:02
→ Ricestone: ~R罷了，所謂的"r為false"本身就是一個具有真假值的敘 07/21 12:03
→ Ricestone: 述，它就是用真值表時，假設R為F時結果是T，假設為T時 07/21 12:04
→ Ricestone: 結果為F的敘述 07/21 12:04
→ Ricestone: 然後sone的第五個等號錯了，右邊~R要跟~(PandQ)括在一 07/21 12:13
→ Ricestone: 起 07/21 12:13
→ Ricestone: 應該說第四個等號那邊就該括好了 07/21 12:14
→ Ricestone: 所以~R在第五個等號那邊不會消失 07/21 12:14