→ kuopohung:你如何能證明 P --> Q == ~Q --> ~P ??? 10/19 04:07
→ kuopohung:用邏輯嗎???這好像是定義耶...... 10/19 04:09
→ kuopohung:若沒有任何東西可以證明那是對的,那他只不過是形上學的 10/19 04:09
→ kuopohung:一支罷了...... 10/19 04:10
推 A1Yoshi:....兩者的真值表長的一樣，不是嗎？-.- 10/19 05:46
→ aletheia:嚴格來說 邏輯不區分論證的好壞 起碼在初階邏輯裡辦不到 10/19 07:34
推 Wissen:p→q等值於~q→~p，這是質位互換律。 10/19 18:06
推 soleboy:感謝darkgem前輩的指導~ 我會多學學邏輯的~^^ 10/19 22:55
推 kuopohung:我知阿,不過那也是定義 10/19 23:42
→ aletheia:(P --> Q) <--> (~Q --> ~P) 為什麼不能証 明明可以 10/20 01:49
推 kuopohung:怎麼証?? 10/20 18:55
→ kuopohung:又是套套邏輯嗎??? 10/20 18:56