作者MMaze (Maze)
看板Math
标题[其他] 将逻辑叙述转为中文的问题
时间Wed Sep 15 01:44:11 2021
大家好，想问大家一道逻辑问题，
设 W(x) 为 "x曾去过台北101"
其定义愈(Domain)为 "在台湾银行上班的职员"
请将以下用中文表示
(以下的"非"是那个有点像7的negation符号，我在ptt打不出来，用非表示)
1. 非∃xW(x)
2. ∃x非W(x)
3. ∀x非W(x)
4. ∀非xW(x)
以下是我的理解，不知道正不正确?
特别是4，觉得跟3有点容易混淆。
个人觉得4的非x应该就是此定义域以外的意思。
1. 非∃xW(x) :没有一个在台湾银行上班的职员曾去过台北101
2. ∃x非W(x) :至少有一个在台湾银行上班的职员不曾去过台北101
3. ∀x非W(x) :所有在台湾银行上班的职员都不曾去过台北101
4. ∀非xW(x) :所有非在台湾银行上班的职员都曾去过台北101
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 73.59.49.254 (美国)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1631641453.A.1AD.html
1F：推 LongboardDC : 前三题没问题，第四题题目怪怪的 09/15 03:03
2F：推 LongboardDC : 没看过~放在variable前面这个用法 09/15 03:06
3F：→ LongboardDC : ~可以放在quantifier前面： 09/15 03:06
4F：→ LongboardDC : 例如~ ∃xP(x)，表示否定"∃xP(x)" 09/15 03:06
5F：→ LongboardDC : 或放在predicate前面： 09/15 03:06
6F：→ LongboardDC : 例如~ P(x)，表示否定P(x)。 09/15 03:06
7F：→ LongboardDC : ~ x代表什麽？ 是世界上所有 09/15 03:06
8F：→ LongboardDC : 「非在台湾银行上班的职员」的东西吗？ 09/15 03:06
9F：→ Ricestone : for any跟exist地位是一样的，不会有∀~x 09/15 03:06
10F：推 LongboardDC : 我打不出negation symbol, 这边用~代替 09/15 03:08
11F：→ mantour : 有个问题如果W的定义域只有台湾银行上班的人，那不 09/15 08:58
12F：→ mantour : 在台湾银行上班的人W(x)应该就是无定义 09/15 08:58
13F：→ mantour : 如果改成W的定义域是所有人，集合A是在台湾银行上 09/15 08:59
14F：→ mantour : 班的人 09/15 08:59
15F：→ mantour : 1.就可以写成 ~∃x∈A, W(x) 09/15 09:02
16F：→ mantour : 4. 写成∀x∈A’, W(x)，好像比较清楚 09/15 09:07
17F：→ MMaze : 谢谢大家！4的部分我再确认一下 09/15 23:06