Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《Jer1983 (stanley)》之銘言：
: 最近看到 sentential logic 的公理, 有提到以下三個公理
先避免 T=對，F=錯的概念，會比較好理解
這樣想
T=陳述句成立，或事件發生
F=陳述句不會成立，或事件沒發生
p->q
當p出事時，q也出事
: (1) (φ-> (Ψ->φ) )
當φ出事時，不管Ψ有沒有出事，φ就是出事了。
: (2) (φ-> (Ψ->θ) ) -> ( (φ->Ψ)-> (φ->θ) )
當φ出事了，(若Ψ出事了，則θ也出事)
因此
當φ出事了，則Ψ也會出事，則由前述條件，(若Ψ出事了，則θ也出事)，可知道θ也出事
因此我們可以說
當φ出事了，θ也出事。
: (3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )
當φ出事時，Ψ也會出事，因此當Ψ沒事時，φ也沒事。 (vice versa)
: 其中 φ,Ψ,θ 可以代入任何的語句
: 我好奇的是該怎麼用"白話"理解這三個公理? 謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.24.209
※ 編輯: luciferii 來自: 114.32.24.209 (08/25 19:01)
討論串 (同標題文章)