Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《Jer1983 (stanley)》之銘言：
: 最近看到 sentential logic 的公理, 有提到以下三個公理
: (1) (φ-> (Ψ->φ) )
如果你知道有一個phi,那麼無論存在著哪一個psi都隱含著有這個phi.
: (2) (φ-> (Ψ->θ) ) -> ( (φ->Ψ)-> (φ->θ) )
如果有一個公理,說phi隱含了"psi隱含theta",
它的意思就是,當你有一個phi能夠隱含你也有一個psi,那麼因為psi能被導出,
所以你可以說,也有一個phi隱含theta.
因為前面有個大前提告訴你,給它一個phi,你就得到psi隱含theta;
接著再給它一個psi,你就得到theta.
而後面有個小前提告訴你,如果你能給它一個phi,就能夠得到psi.
: (3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )
這個公理很傳統.
not符號可能被口語解釋成"不成立",或者是"不存在",或者說"某東西不對",
不管是哪一個講法,都可以做以下的解釋:
如果phi不成立就表示psi也不成立,那麼,當你看到psi成立時,phi就是成立.
: 其中 φ,Ψ,θ 可以代入任何的語句
: 我好奇的是該怎麼用"白話"理解這三個公理? 謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.209.112
※ 編輯: yauhh 來自: 218.160.209.112 (08/24 22:56)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 3 之 20 篇)：