作者luciferii (路西瓜)
看板logic
标题Re: [讨论] "知道"与"不知道"是否为反义词？
时间Tue Oct 23 21:02:45 2007
※ 引述《luciferii (路西瓜)》之铭言：
◆ From: 203.73.254.16
1F：推 somedoubt:好惨喔，你刚刚才说"父母包含父以及母"的意思是当我说 10/23 13:31
2F：→ somedoubt:A是我父母时，我是在说A是我父或A是我母。你对集合范畴 10/23 13:34
3F：→ somedoubt:的词义掌握也很乱ㄟ。 10/23 13:34
4F：→ 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
5F：推 somedoubt:"X不知道A"包含"X一开始不知道A"以及"X等一下不知道A"。 10/23 23:07
6F：→ somedoubt:所以，如果X不知道A，则X一开始不知道A，或X等下不知道A 10/23 23:09
7F：→ somedoubt:又假设你的知道所包含的仅有这两个，就算有第三个结果一 10/23 23:10
8F：→ somedoubt:样。我可以说X不知道A iff X一开始不知道或等下不知道A 10/23 23:12
9F：→ somedoubt:若知道是不知道的反义字，则X知道A iff X一开始知道且 10/23 23:13
10F：→ somedoubt:等下知道。 不管你的不知道包含多少语意，只要通通以 10/23 23:13
11F：→ somedoubt:"或"连接，那麽作为不知道的反义词的知道就是所有不知道 10/23 23:14
12F：→ somedoubt:的否定的连言。 10/23 23:15
13F：→ somedoubt:但你却又宣称"X知道A"是"X一开始知道A"与"X等下知道A"的 10/23 23:16
14F：→ somedoubt:选言(不管你的知道是否只包含这两个，一样是选言)，这根 10/23 23:17
15F：→ somedoubt:本就是矛盾的定义。看懂了吗，路西瓜版友。 10/23 23:18