作者luciferii (路西瓜)
看板logic
标题Re: 吵架专用的悖论
时间Fri Oct 26 23:50:22 2007
※ 引述《aletheia (cOnJeCTuRe)》之铭言：
: ※ 引述《luciferii (路西瓜)》之铭言：
: : 所以才有 paradox
: 这边我只能科科了
会科真的要让人科科了
另一个例子，
恒真句「任一集合X必包含X自身」
这个恒真句在X是「所有不属於自身的集合」的集合时变成「假」
因此出现 paradox
「但这和我们通常认为的很不一样」
请思考一下什麽叫「通常认为的」。
如果你「通常认为的」不代表恒真，而又产生矛盾。
那顶多只能说你「通常认为的」事有「假」的可能
而不能说就此形成悖论。
: : 抄大一课本
: : 如果本句为真，上帝存在。
: : 令X表「本句」，Y为「上帝」。
: : 这个句子为
: : X->Y
: : 亦即
: : X= X->Y
: : X->X (恒真句)
: : = X->(X->Y)
: : = X->Y
: : = X
: 我想这边 你写错了
: X=X这当然是tautology 不过你怎麽知道X也是tautology
: 我逻辑不好 试写一下
你漏看两行
X->X
= X-> (X->Y)
...
= X
X->X 恒真
=X亦恒真
->Y亦恒真
: X=X->Y
: (X and (X->Y))->Y (这是MP 直接用应该没关系)
: (X and X)->Y
: X->Y
: X
: Y
以上
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.166.106.215
※ 编辑: luciferii 来自: 218.166.106.215 (10/27 01:31)
1F：推 weijing:都有为假的情况了还叫恒真句？第一行就已经混乱了。 10/27 13:57
2F：推 luciferii:恒真句推出假，所以有paradox(悖论)的出现，了解了吗? 10/27 17:14
3F：推 teves:对不起我看不太懂,这是理发师悖论吧? 10/27 18:52
4F：→ teves:但为何"任意集合X必包含X自身"会是恒真句? 10/27 18:52
5F：推 luciferii:X->X X包含X 10/27 20:08
6F：推 weijing:恒真句会推出假，那就不是恒真句了，因为违反恒真句定义。 10/27 20:57
7F：推 luciferii:喔，如果你认为P or ~P不是恒真句，那跟罗素抗议吧。 10/27 23:12
8F：推 weijing:我也是真的不懂Russell Paradox跟恒真句有什麽关系。 10/28 00:16
9F：推 luciferii:买本课本读完就知道了 10/28 02:12
10F：推 weijing:不，我想现在听你说。既然你已经知道的话就教一下。 10/28 10:51
11F：推 luciferii:这几篇已写，想从什麽是恒真句学起，请参考课本 10/28 17:03
12F：推 weijing:我家五六本课本都没提罗素悖论跟恒真句的关系，如果你课本 10/28 20:38
13F：→ weijing:比我用的高档，那至少你一定能够现在把你读到的说出来。 10/28 20:38
14F：→ weijing:也就是，罗素悖论如何可以写成p v ~p 10/28 20:38
15F：→ somedoubt:X->X X包含X这是啥鬼？ 10/28 23:22
16F：→ somedoubt:属於跟蕴含是两种相同的关系吗？谁教你这样用的？ 10/28 23:23
17F：→ somedoubt:你幻想中的老师？ 10/28 23:23
18F：→ somedoubt:"陈水扁的女婿被台大开除"蕴含"太阳今天从东边出来", 10/28 23:23
19F：→ somedoubt:所以陈水扁的女婿被台大开除属於太阳今天从东边出来？ 10/28 23:25
20F：→ somedoubt:被当要立正站好，不要瞎扯些你掌握不稳的概念。 10/28 23:25
21F：推 somedoubt:请问一下，"A是A的子集"跟"A属於自己或不属於自己"何关ꄠ 10/29 15:26
22F：→ somedoubt:一直在用反证法的人不承认为真的必要条件是不会导致矛盾 10/29 15:28
23F：→ somedoubt:路西瓜果真神人啊。 10/29 15:29