https://i.imgur.com/n3KXXKI.jpg
請問為什麼可以直接消去R
謝謝

truth table畫一下啊

(P->Q)&P <=> (~P|Q)&P <=> (~P&P)|(Q&P) <=> Q&P然後析取，可推得 => Q這不是等價，而是推論 真值表不需要一樣紙上(?)右邊那東西其實就是我寫的意思直接理解就是 若A則B，而且現在確定有A，那我可以知道有B上面析取應該講合取除去(Conjunction elimination)才對不過這一堆本身就叫肯定前件(MP)規則了

題目已經假設R是false了

1到2 : 若p則q 等價 非q則非p2到3 : 若p則q且p為真 等價 q為真

那不叫等價，等價的是p真且q真 q真是推演結果

https://i.imgur.com/v8aeD5p.jpg題目已假設r false 不然我劃箭頭那真值表出來會有truefalse兩種情況

你們要先弄清楚什麼叫等價，什麼叫推演還有那個假設r是false或怎麼樣的只是差在多and一個~R罷了，所謂的"r為false"本身就是一個具有真假值的敘述，它就是用真值表時，假設R為F時結果是T，假設為T時結果為F的敘述然後sone的第五個等號錯了，右邊~R要跟~(PandQ)括在一起應該說第四個等號那邊就該括好了所以~R在第五個等號那邊不會消失