[請益] 該如何理解語句邏輯的公理?

[Jer1983 (stanley)]

  最近看到 sentential logic 的公理, 有提到以下三個公理

  (1) (φ-> (Ψ->φ) )

  (2) (φ-> (Ψ->θ) ) -> ( (φ->Ψ)-> (φ->θ) )

  (3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )

  其中 φ,Ψ,θ 可以代入任何的語句

  我好奇的是該怎麼用"白話"理解這三個公理? 謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 124.8.231.201