作者luciferii (路西瓜)
看板logic
标题Re: [请益] 该如何理解语句逻辑的公理?
时间Wed Aug 26 16:00:24 2009
※ 引述《yauhh (哟)》之铭言：
1F：→ teves:然後他们就会学到"苏格拉底是人"是一个statement,它是true 08/26 15:50
2F：→ luciferii:「苏格拉底是人」这6个字也不是TRUE，它只是个statement 08/26 15:50
3F：→ teves:"你是谁?"不是statement 08/26 15:50
逻辑课里都会强调，请你撇开真实世界的想法。
例如以下的statement
All men are aliens.
Socrates is a man -> Socrates is a alen.
这绝对是个有效的statement，跟 Socrates 在实世界是不是火星人都没有关系。
当只有p->q这样的 statement 存在时
Socrates is a man.
或
Moon is made of cheese -> Ma is the President of US.
本身都无法判断是T/F还是Valid/Invalid，他们就只是单纯的statement。
除非你能由式子推出它们是一个无关 p/q的恒真恒假句。
真实世界你可以当成一种外加的前件。
若你要用真实世界当前件去说一个 statemnet 是 T/F还是Valid/Invalid，
就要写明你的条件，才是正确的statement表达。
而加上条件後，就不会只用 p->q 三个符号就能完全表达完。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.32.24.209
※ 编辑: luciferii 来自: 114.32.24.209 (08/26 16:04)
4F：→ somedoubt:路战神怎麽会写出这种充满含混岐义的文章？ 08/26 21:02