Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《luciferii (路西瓜)》之銘言：
: p->q
: 當p出事時，q也出事
: : (1) (φ-> (Ψ->φ) )
: 當φ出事時，不管Ψ有沒有出事，φ就是出事了。
這句話我來很對 不過應該不是 (φ-> (Ψ->φ) )的含意
(φ-> (Ψ->φ) )應該只有指
當φ出事時，Ψ出事了，那φ也出事了
並沒有到Ψ沒出事的部份 雖然Ψ沒出事也一樣 ......
: : (2) (φ-> (Ψ->θ) ) -> ( (φ->Ψ)-> (φ->θ) )
: 當φ出事了，(若Ψ出事了，則θ也出事)
: 因此
: 當φ出事了，則Ψ也會出事，則由前述條件，(若Ψ出事了，則θ也出事)，可知道θ也出事
: 因此我們可以說
: 當φ出事了，θ也出事。
我知道你沒有這個意思 但這個說法我覺得可能會讓人誤會為
當φ出事了，(若Ψ出事了，則θ也出事)
因此
當φ出事了，則Ψ也會出事..........
(因為沒有括號圍起來 我第一次看起來就有點誤會......)
[當φ出事 就會有 (Ψ再出事，θ也會出事)] 的話
那麼
[只要再有(φ出事，則Ψ也會出事) 的話 就 (只要φ出事了，θ也一定出事)]
.........好饒舌 但我應該跟此po原意一樣 只是幫括號圍一圍 比較好看
要是圍到有違原意 請大力駁斥指正~~~~~
: : (3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )
: 當φ出事時，Ψ也會出事，因此當Ψ沒事時，φ也沒事。 (vice versa)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.104.121.190
討論串 (同標題文章)