作者luciferii (路西瓜)
看板logic
标题Re: [请益] 该如何理解语句逻辑的公理?
时间Tue Aug 25 18:49:00 2009
※ 引述《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)