logic 板


LINE

※ 引述《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
85F:→ muxiv: 管你要google還是 https://noxiv.com 07/07 21:04







like.gif 您可能會有興趣的文章
icon.png[問題/行為] 貓晚上進房間會不會有憋尿問題
icon.pngRe: [閒聊] 選了錯誤的女孩成為魔法少女 XDDDDDDDDDD
icon.png[正妹] 瑞典 一張
icon.png[心得] EMS高領長版毛衣.墨小樓MC1002
icon.png[分享] 丹龍隔熱紙GE55+33+22
icon.png[問題] 清洗洗衣機
icon.png[尋物] 窗台下的空間
icon.png[閒聊] 双極の女神1 木魔爵
icon.png[售車] 新竹 1997 march 1297cc 白色 四門
icon.png[討論] 能從照片感受到攝影者心情嗎
icon.png[狂賀] 賀賀賀賀 賀!島村卯月!總選舉NO.1
icon.png[難過] 羨慕白皮膚的女生
icon.png閱讀文章
icon.png[黑特]
icon.png[問題] SBK S1安裝於安全帽位置
icon.png[分享] 舊woo100絕版開箱!!
icon.pngRe: [無言] 關於小包衛生紙
icon.png[開箱] E5-2683V3 RX480Strix 快睿C1 簡單測試
icon.png[心得] 蒼の海賊龍 地獄 執行者16PT
icon.png[售車] 1999年Virage iO 1.8EXi
icon.png[心得] 挑戰33 LV10 獅子座pt solo
icon.png[閒聊] 手把手教你不被桶之新手主購教學
icon.png[分享] Civic Type R 量產版官方照無預警流出
icon.png[售車] Golf 4 2.0 銀色 自排
icon.png[出售] Graco提籃汽座(有底座)2000元誠可議
icon.png[問題] 請問補牙材質掉了還能再補嗎?(台中半年內
icon.png[問題] 44th 單曲 生寫竟然都給重複的啊啊!
icon.png[心得] 華南紅卡/icash 核卡
icon.png[問題] 拔牙矯正這樣正常嗎
icon.png[贈送] 老莫高業 初業 102年版
icon.png[情報] 三大行動支付 本季掀戰火
icon.png[寶寶] 博客來Amos水蠟筆5/1特價五折
icon.pngRe: [心得] 新鮮人一些面試分享
icon.png[心得] 蒼の海賊龍 地獄 麒麟25PT
icon.pngRe: [閒聊] (君の名は。雷慎入) 君名二創漫畫翻譯
icon.pngRe: [閒聊] OGN中場影片:失蹤人口局 (英文字幕)
icon.png[問題] 台灣大哥大4G訊號差
icon.png[出售] [全國]全新千尋侘草LED燈, 水草

請輸入看板名稱,例如:BuyTogether站內搜尋

TOP