※ 引述《asdinap (asdinap)》之銘言：
: ※ 引述《luciferii (路西瓜)》之銘言：
: : p->q
: : 當p出事時，q也出事
: : 當φ出事時，不管Ψ有沒有出事，φ就是出事了。
: 這句話我來很對 不過應該不是 (φ-> (Ψ->φ) )的含意
: (φ-> (Ψ->φ) )應該只有指
: 當φ出事時，Ψ出事了，那φ也出事了
: 並沒有到Ψ沒出事的部份 雖然Ψ沒出事也一樣 ......
是的，我表達得不夠精確
應該說是 當φ出事時，不管發生什麼Ψ，都不影響φ出事的結果。
這個Ψ可以是一個出事的p，也可以是一個沒出事的p
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.11.166