看板 logic 關於我們 聯絡資訊
※ 引述《luciferii (路西瓜)》之銘言: ◆ From: 203.73.254.16
somedoubt:好慘喔,你剛剛才說"父母包含父以及母"的意思是當我說 10/23 13:31
somedoubt:A是我父母時,我是在說A是我父或A是我母。你對集合範疇 10/23 13:34
somedoubt:的詞義掌握也很亂ㄟ。 10/23 13:34
somedoubt:看來除了"知道","肯定"以外,還得請你說明何謂"包含"了 10/23 13:56
我原文 父母包含父以及母 => A屬於父母 代表(A屬於父 或 A 屬於母) 你可以寫成 父母包含父以及母 => A是父母代表(A是父 或 A 是母) ? 你要嘛是沒學過邏輯, 要嘛就是刻意在搗亂, 不要被人點出推論錯誤就在鬧脾氣。 這句話正常是寫成 => A是父母之一,代表 (A是父之一 或 A是母之一) 包含: for any x , x屬於A => x 屬於 B 代表B包含A 這是第三次在這個版上教基本邏輯了。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 203.67.108.112
somedoubt:"X不知道A"包含"X一開始不知道A"以及"X等一下不知道A"。 10/23 23:07
somedoubt:所以,如果X不知道A,則X一開始不知道A,或X等下不知道A 10/23 23:09
somedoubt:又假設你的知道所包含的僅有這兩個,就算有第三個結果一 10/23 23:10
somedoubt:樣。我可以說X不知道A iff X一開始不知道或等下不知道A 10/23 23:12
somedoubt:若知道是不知道的反義字,則X知道A iff X一開始知道且 10/23 23:13
somedoubt:等下知道。 不管你的不知道包含多少語意,只要通通以 10/23 23:13
somedoubt:"或"連接,那麼作為不知道的反義詞的知道就是所有不知道 10/23 23:14
somedoubt:的否定的連言。 10/23 23:15
somedoubt:但你卻又宣稱"X知道A"是"X一開始知道A"與"X等下知道A"的 10/23 23:16
somedoubt:選言(不管你的知道是否只包含這兩個,一樣是選言),這根 10/23 23:17
somedoubt:本就是矛盾的定義。看懂了嗎,路西瓜版友。 10/23 23:18
muxiv: 等下知道。 不管你的不 https://noxiv.com 07/07 21:03