作者Jer1983 (stanley)
看板logic
标题[请益] 该如何理解语句逻辑的公理?
时间Sun Aug 23 17:44:22 2009
最近看到 sentential logic 的公理, 有提到以下三个公理
(1) (φ-> (Ψ->φ) )
(2) (φ-> (Ψ->θ) ) -> ( (φ->Ψ)-> (φ->θ) )
(3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )
其中 φ,Ψ,θ 可以代入任何的语句
我好奇的是该怎麽用"白话"理解这三个公理? 谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 124.8.231.201