Re: [討論] 關於邏輯的一些想法
: --
: ※ 發信站: 批踢踢實業坊(ptt.cc)
: ◆ From: 122.126.128.27
: → 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
這證明很簡單吧
用真值表也可以証
我換各方式証
The 1st order logic sys. is complete and sound.
In tableau,
|- (P --> Q) <--> (~Q --> ~P)
~((P --> Q) <--> (~Q --> ~P))
(P --> Q) ~(P --> Q)
~(~Q --> ~P) (~Q --> ~P)
~Q P
P ~Q
~P Q Q ~P
x x x x
All branches are closed.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.117.181.196
→
10/24 00:16, , 1F
10/24 00:16, 1F
討論串 (同標題文章)