作者asdinap (asdinap)
看板logic
标题Re: [请益] 该如何理解语句逻辑的公理?
时间Sun Aug 23 23:24:37 2009
※ 引述《Jer1983 (stanley)》之铭言：
不就把符号用日常用词或例子代入就好了吗
例如φ:此地没遮挡 Ψ:此地下雨 θ:此地上湿
: 最近看到 sentential logic 的公理, 有提到以下三个公理
: (1) (φ -> (Ψ -> φ) )
此地必定没遮挡的话 那就会 此地有下雨 就会 此地没遮挡
(都说这里没遮挡了 关有没下雨鬼事 反正这里就是没遮挡
好无聊的公理 这就是逻辑的公理呀?)
: (2) ( φ -> (Ψ -> θ) ) ->
[没有遮挡 的话那 下雨地上就会湿] 的话 就会
( (φ -> Ψ) -> (φ -> θ) )
[没遮档 就会 下雨的话 那 没遮档就会地上湿]
: (3) ( (┐φ-> ┐Ψ)-> (Ψ->φ) )
有遮挡就会不下雨的话 那 有下雨就代表一定没遮挡
(若A则B 非B则非A)
: 其中 φ,Ψ,θ 可以代入任何的语句
: 我好奇的是该怎麽用"白话"理解这三个公理? 谢谢
不要被符号吓到 好像很简单呀
没学过逻辑学 纯粹外行人看法 大家参考笑笑就好 有误导不负责~~~~~ 喔齁齁
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.104.121.96
1F：推 cmlrdg:(1)如果已经知道结果了,那为这结果冠上任何原因来解释都对 08/24 09:46
2F：→ cmlrdg:(马後炮??) 我承认我是来闹的~ XD 08/24 09:47
3F：推 yauhh:这种举实例的方式不好耶,就是後设的解释(马後炮),并非理解 08/24 22:45
4F：→ asdinap:--> 这个符号 不代表有因果关系耶 只指左边真 那右边就真 08/25 01:26
5F：→ asdinap:例如 我昨天吃肉--> (我今天去看漫画-->我昨天吃肉) 08/25 01:29
6F：→ asdinap:很明显今天看漫画不会是昨天吃肉的因 但整句是对的 08/25 01:30
7F：→ yauhh:确实是因果关系喔, p->q 可念做 q if p或 if p, q 08/25 08:12
8F：→ yauhh:当然,普遍是念成 p implies q 08/25 08:12
9F：→ teves:no,逻辑的if并非因果关系 08/25 08:51
10F：→ teves:这样去理解的话可能会出问题 08/25 08:52
11F：→ yauhh:我看过有逻辑入门书是如此解释 p->q 的;应该是英文的if和 08/25 09:46
12F：→ yauhh:中文所谓的因果关系之间,有所出入. 能请楼上举个出问题的例 08/25 09:46
13F：→ yauhh:子吗? 08/25 09:46
15F：→ yauhh:其中告诉你, if X then Y 等於逻辑中的 X implies Y 08/25 09:51