[請益] 該如何理解語句邏輯的公理?
最近看到 sentential logic 的公理, 有提到以下三個公理
(1) (φ-> (Ψ->φ) )
(2) (φ-> (Ψ->θ) ) -> ( (φ->Ψ)-> (φ->θ) )
(3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )
其中 φ,Ψ,θ 可以代入任何的語句
我好奇的是該怎麼用"白話"理解這三個公理? 謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 124.8.231.201
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 1 之 20 篇)：