作者Jer1983 (stanley)
看板logic
標題[請益] 該如何理解語句邏輯的公理?
時間Sun Aug 23 17:44:22 2009
最近看到 sentential logic 的公理, 有提到以下三個公理
(1) (φ-> (Ψ->φ) )
(2) (φ-> (Ψ->θ) ) -> ( (φ->Ψ)-> (φ->θ) )
(3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )
其中 φ,Ψ,θ 可以代入任何的語句
我好奇的是該怎麼用"白話"理解這三個公理? 謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 124.8.231.201