作者luciferii (路西瓜)
看板logic
标题Re: [请益] 该如何理解语句逻辑的公理?
时间Wed Aug 26 20:11:38 2009
※ 引述《teves (teves)》之铭言：
: : All men are aliens.
: : Socrates is a man -> Socrates is a alien.
: 为什麽要废掉?
: 现实生活中
: All men are aliens : False
: Socrates is a man : True
: Socrates is a alien: False
: (F&T)->F : True
: 就真值上没错啊
: 重要的是推论的过程有不有效
: 要正确的表示这样的关系会需要用到first-order logic
噗，原来你的课本上，这个最基本的三段式逻辑范例是这样解释的，
可以印给我瞻仰一下吗?
而且我也是第一次看到印证一个statement有没有效
是把真实生活的值乱代一下，算出一个真值，就可以说这个statement有效了。
你没有注意到，你的乱证居然也能证明下列式子是有效的?
All men are aliens.
Socrates is not a man -> Socrates is a alien
照你的证法
All men are aliens : False
Socrates is not a man : False
Socrates is a alien: False
(F&F)->F : True
居然是一个有效的statement耶。
我是说真的，
如果你的逻辑课本上真的在教这种概念，真的拜托你扫瞄或印出来让大家看看。
: 对初学者来讲逻辑本来就不是那麽好懂的东西
: 毕竟逻辑一开始也是起源於哲学
: 这些学科最初也是想要探讨我们的世界及心灵
: 如果你认为使用到现实生活的例子都是在"乱代入",会误导初学者
: 我也没办法
: 我同意有些例子很难以理解
: 但我不认为因为这样它们就是错的
我不关心你认不认为错，我只看到你正在展现一个乱代入而且乱证的案例。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.7.56
※ 编辑: luciferii 来自: 59.121.7.56 (08/26 20:15)
1F：推 teves:你有看懂吗- - 真值没错但推论有效需要用first-order logic 08/26 21:43
2F：→ teves:才好证明 我哪句话说真值正确=推论有效了? 08/26 21:44
3F：→ teves:另,你举的例子真值是True没错,但此推论不有效 08/26 22:15