作者luciferii (路西瓜)
看板logic
标题Re: 吵架专用的悖论
时间Wed Oct 31 22:03:45 2007
※ 引述《luciferii (路西瓜)》之铭言:
: 矛盾句(恒假句) : "p and ~p"
: 悖论(既真又假)则是: "(p->~p) and (~p->p) is true"
: ※ 编辑: luciferii 来自: 218.166.103.189 (10/31 02:30)
: → somedoubt:让我们来看看((p→~p)&(~p→p))是啥。 10/31 09:25
: → somedoubt:不就是((~pv~p)and(pvp)),这又等价於(p&~p)。原来悖论 10/31 09:27
: → somedoubt:就是宣称矛盾语句为真。真是有趣的见解。 10/31 09:31
废话,你觉得有趣证明你真的没上过 paradox 的课。
再次重覆,悖论本身就是既真又且
「true and not true」产生 paradox,老师书上写得明白..
矛盾句成真,或恒真句推得假,就形成悖论。
你居然从头到尾都以为「p and ~p」就是悖论?
: → somedoubt:路西瓜,悖论不是这样讲的。宣称语句的真值是既真又假就 10/31 09:32
: → somedoubt:是在说该语句是矛盾句,因为不可能有语句的真值是既真又 10/31 09:33
: → somedoubt:假,所以才说该语句是恒假句。悖论语句是既不真也不假。 10/31 09:34
你真的完全搞不懂
语句X为p & ~p
当 p 为 True 时,X是False
当 p 为 False时,X还是False
从来到尾X这句话只有 False ,所以我们叫恒假句(矛盾句),
谁跟你在「宣称语句的真值是既真又假就是在说该语句是矛盾句」
语句本身的真值只有一个「假」
「假假假假假假假假假假假假假假假假假假假假假假」
拜托不要连最基本的逻辑名词定义都一直在搞错
X称为 Paradox
因为p为 True 时,X可为真且可为假
p为 False 时,X也是可为真且可为假
所以X是 Paradox
从头到尾连什麽矛盾句和悖论是啥都搞得乱七八糟
你把 p 的真值和 X 的真值混在一起乱理解,列了老师的课本给你抄也不会抄。
後面更是瞎扯一通,什麽(1)(2)句一定要同时存在?你学命题是怎麽学的?
还有宇集合存不存在干罗素底事?书看仔细再来乱发飙好吗?
: 推 somedoubt:你不是说"p&~p"恒为假吗?你应该说悖论语句恒为假才对啊 10/31 10:19
这段一定要收到笑话集里
连p&~p的真值都算不出来是「假」还是「既真又假」的研究生很难找
随便叫一个会画真值表的大一同学,都可以给你正确答案
有空可以请教一下他们,好吗?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.67.108.112
※ 编辑: luciferii 来自: 203.67.108.112 (10/31 22:34)
1F:推 somedoubt:宇集合存不存在干不甘罗素悖论的事,好一点的逻辑老师都 11/01 00:19
2F:→ somedoubt:知道,好一点的数学老师也知道,只有你不知道。 11/01 00:20
3F:→ somedoubt:可否请你讲清楚何谓(1)单一地成立? 11/01 00:24
4F:推 somedoubt:"把p与X的真值混在一起乱理解"这句话真的有够有趣。 11/01 00:26
5F:→ somedoubt:X明明就是真值函数式语句,换句话说该语句的真值是由次 11/01 00:27
6F:→ somedoubt:语句真值所决定,居然说两者不相干?你的信念系统不一致 11/01 00:27
7F:→ somedoubt:"p&~p"的语意你真的不懂?不就是在说p真且~p真吗?? 11/01 00:28
8F:→ somedoubt:换句话说,这是在说"p既真又假"。至於"p既真又假"的真值 11/01 00:29
9F:→ somedoubt:为何又是另一回事。语意,你知道抽象符号的语意吗? 11/01 00:30
10F:→ somedoubt:还是你只会算而不知道字串的语意? 11/01 00:31
11F:推 somedoubt:建议你找一本後设逻辑的书来看,你就知道宣称p与赋予p 11/01 00:35
12F:→ somedoubt:真值T是不是同一回事;宣称"p&~p"是不是在赋予p真值T及F 11/01 00:35
13F:→ somedoubt:跟一个自命逻辑好,中文好,集合论好的人讲话真的很累。 11/01 00:37
14F:→ luciferii:你最好去查一下什麽叫「宇集合」 11/01 00:46
15F:→ somedoubt:所有集合所成的集合啦,这还要问。U:{x∣x=x} 11/01 00:48
16F:→ somedoubt:看来你真的不知道罗素悖论怎麽被引起的。 11/01 00:49
17F:推 luciferii:... 利用所有集合的集合来证不存在的是 Cantor, 11/01 01:28
18F:→ luciferii:Russel 是用x不属於x来证所有集合的集合不存在 11/01 01:32
19F:推 somedoubt:你到底在写啥?就是因为佛列格的系统中允许有宇集合, 11/01 01:32
20F:→ somedoubt:所以才有罗素悖论的产生。 11/01 01:33
21F:→ luciferii:还有刻意把(p and ~p is true) 跟 (p and ~p) 混在一起 11/01 01:33
22F:→ luciferii:解释的是你。逻辑学习里表达的很清楚哩。 11/01 01:34
23F:→ luciferii:不然干嘛每本书都拿 p & ~p 当成恒假句举例。 11/01 01:35
24F:→ somedoubt:算啦,後设逻辑的书捡一本来看吧。 11/01 01:35
25F:→ somedoubt:"p既真又假"恒不成立,说它是恒假句有啥不对? 11/01 01:35
26F:推 luciferii:就说你的X语句本身和子句p的真值乱搞又不清 11/01 01:39
27F:→ luciferii:(p & ~p) p当然可以成立,只是「p&~p」恒不成立 11/01 01:39
28F:→ luciferii:所以说你根本搞不懂前篇里 A&B 的例子 11/01 01:40
29F:→ somedoubt:"{x∣~(x∈x)}⊆{x∣x=x}"必然真,所以若不能排除 11/01 01:38
30F:→ somedoubt:宇集合的存在,则该集合论系统有悖论,所以不管是以悖论 11/01 01:41
31F:→ luciferii:p&~p 叫作 p及不是p 11/01 01:42
32F:→ luciferii:p既真又假是 (p is true and p is false) 11/01 01:43
33F:→ somedoubt:说宇集合不存在还是排除宇集合以消除悖论都是同一件事。 11/01 01:42
34F:→ luciferii:逻辑符号搞不清,语意也搞不清...唉 11/01 01:43
35F:→ somedoubt:"p is true and p is false"请你翻译成命题逻辑的语句 11/01 01:43
36F:→ luciferii:注意,你前文是写「在罗素还没提出罗素悖论之前, 11/01 01:45
37F:→ somedoubt:我拿硬凹的人没辄。对不起,你继续自嗨吧。 11/01 01:44
38F:→ luciferii:难道宇集合就存在?」你最好想清楚你要讲在哪个系统? 11/01 01:45
39F:→ luciferii:是不是要讨论悖论?再想想你到底要讲什麽? 11/01 01:45
40F:→ somedoubt:当然啊,按你的思路,只要使之为假的命题没出现,该命题 11/01 01:45
41F:→ somedoubt:就真。那不就是说只要没人发现宇集合会导致悖论,宇集合 11/01 01:46
42F:→ somedoubt:就存在? 11/01 01:46
43F:→ somedoubt:标准的骆驼嘛~宣称语句在有限的语句集中不会导致矛盾 11/01 01:47
44F:→ somedoubt:就说该语句为真?最好有那麽便宜的事啦~ 11/01 01:48
45F:推 luciferii:(p = ~p) 想不出来为什麽就慢慢想吧 11/01 01:49
46F:推 somedoubt:唯有一解:你提出这个答案是你不可避免的错误。 11/01 01:52
47F:推 luciferii:你得先prove U存在才行,才能说没有导致悖论前,U存在 11/01 01:53
48F:→ somedoubt:保重啦,连语句形式都看不出来的人~掰罗~ 11/01 01:53
49F:→ luciferii:就是这麽便宜,不然X->X恒真, X->~X恒假是谁讲的? 11/01 01:54
50F:→ somedoubt:X→~X恒假?谁告诉你的? ~pv~p恒假? 11/01 01:55
51F:→ somedoubt:丁丁跟大家说早安。「早安~~」 11/01 01:56
52F:→ somedoubt:拉拉跟西瓜葛葛说再见。「再见~~」 11/01 01:57
53F:→ luciferii:掰掰丁丁... 11/01 02:13
54F:→ luciferii:或者照上面的讲法,其实你是拉拉? 有像有像 11/01 02:13
55F:→ somedoubt:嗯,没啦,我只是很讶异西瓜葛葛居然有跟天线宝宝同台的 11/01 02:14
56F:→ somedoubt:机会,实在太难得了。你跟拉拉还有丁丁要当好朋友喔 11/01 02:15
57F:→ luciferii:修正, p and ~p。遇到丁丁真让人笑到打错字。 11/01 02:18
58F:→ luciferii:不想跟你当好朋友,丁丁你快走吧。逻辑版已经好久没有 11/01 02:19
59F:→ luciferii:水了。感谢丁丁陪我冲版气。 11/01 02:20
60F:→ somedoubt:我没说我是丁丁啊,我是说西瓜葛葛要跟丁丁拉拉做好朋友 11/01 02:21
61F:→ somedoubt:修正成那样还是一样啦~与有限的为真语句集相容也不蕴含 11/01 02:22
62F:→ somedoubt:该语句为真啦。反之,只要语句集不相容,不论多小,就一 11/01 02:23
63F:→ somedoubt:定不会与更大的为真语句集相容。 11/01 02:24
64F:→ luciferii:咦,掰不出来还是东西闲扯了吗?所以你意思是古典逻辑 11/01 02:35
65F:→ luciferii:说的恒真恒假都是错的罗?非常好。大师。 11/01 02:35
66F:→ somedoubt:否定恒假不代表肯定恒真,你懂吗? 11/01 02:37
67F:→ luciferii:管你要google还是要瞎扯,赶快去证前面的证明有错啦 11/01 02:56
68F:→ luciferii:里头证明不是要「否定恒假」来证恒真喔 11/01 03:13
69F:推 somedoubt:谁来告诉西瓜葛葛以语意上矛盾的语句作为前提的论证恒为 11/01 08:31
70F:→ somedoubt:有效论证?以X表示矛盾句也可以从形式恒真的语句导出毛 11/01 08:32
71F:→ somedoubt:盾句恒真ㄟ。你要不要说矛盾句是恒真句? 11/01 08:33
72F:→ somedoubt:同样地,以X表悖论语句,即便能以形式上有效的论证得出X 11/01 08:33
73F:→ somedoubt:也不代表X是恒真句。最後,如果有人像西瓜葛葛一样否定 11/01 08:35
74F:→ somedoubt:宣称"p"与宣称"p is true",那麽他不可以用"X=(X→Y)" 11/01 08:36
75F:→ somedoubt:这个前提喔~除非你像西瓜葛葛一样信念系统不一致。 11/01 08:37
76F:推 somedoubt:"宣称"p"与宣称"p is true""之後请补上"同义"二字。 11/01 09:07
77F:推 somedoubt:"如果本句为真,则西瓜葛葛没有掌握模态词语意"恒真, 11/01 09:54
78F:→ somedoubt:所以西瓜葛葛真的没理解模态词的词义。 11/01 09:55
79F:推 luciferii:你还是搞不清楚「p为真」和「如果p为真」的差别 11/02 00:48
80F:推 luciferii:不要再乱解释模态语了,连基本逻辑不要瞎解释一通胡混 11/02 00:51
81F:→ luciferii:还有,矛盾句推出恒真句,才诞生悖论来讨论 11/02 00:55
82F:→ luciferii:再教你一点, X=Y 代表X和Y的真值一样 11/02 00:56
83F:→ luciferii:不是代表X 必然 true 。我不知道你模态跟谁学的, 11/02 00:56
84F:→ luciferii:但是不及格是可以想见的。 11/02 00:56