作者luciferii (路西瓜)
看板logic
标题Re: [请益] 该如何理解语句逻辑的公理?
时间Tue Aug 25 22:36:01 2009
※ 引述《asdinap (asdinap)》之铭言：
: ※ 引述《luciferii (路西瓜)》之铭言：
: : p->q
: : 当p出事时，q也出事
: : 当φ出事时，不管Ψ有没有出事，φ就是出事了。
: 这句话我来很对 不过应该不是 (φ-> (Ψ->φ) )的含意
: (φ-> (Ψ->φ) )应该只有指
: 当φ出事时，Ψ出事了，那φ也出事了
: 并没有到Ψ没出事的部份 虽然Ψ没出事也一样 ......
是的，我表达得不够精确
应该说是 当φ出事时，不管发生什麽Ψ，都不影响φ出事的结果。
这个Ψ可以是一个出事的p，也可以是一个没出事的p
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.11.166