作者yauhh (哟)
看板logic
标题Re: [请益] 该如何理解语句逻辑的公理?
时间Mon Aug 24 22:54:55 2009
※ 引述《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)