Lecture 3: Sets and Formal Languages

- Introduction to Sets
- Defining Sets
- Set Operations
- Formal Languages



# 集合简介 Introduction to Sets

## 定义 Definition

A set is a collection of objects (elements). If x is an element of A, we write x ∈ A.


- 集合内的元素没有顺序，也没有重复性。
- 单个元素和单元素集合本身需要进行区分。即：$a\ne\{a\}$。
- 空集的表示：$\empty = \{\}$，即没有元素。
- 该集是非空的：$\{\empty\}$，它有一个元素：$\empty$。

---

- The most set is **universe**, $U$.
- Not all "well-defined" universes are possoble.
    - No "set of all sets" (Cantor's paradox)
    - No "sets which do not contain themselves" (Russel's paradox)

---

:::info{title="康托尔悖论"}
Cantor's Paradox 是一个与集合论有关的悖论，由数学家格奥尔格·康托尔（Georg Cantor）提出。它揭示了“所有集合的集合”这一概念在朴素集合论中的自我矛盾性。这个悖论可以这样解释：

朴素集合论中的集合：在朴素集合论中，一个集合可以被理解为任意对象的一个整体，其中的对象称为该集合的元素。集合可以包含其他集合作为其元素。

“所有集合的集合”：如果我们尝试构建一个包含所有集合作为其元素的集合，我们可以称之为“全集”（或“所有集合的集合”）。

Cantor 的对角线论证：康托尔发展了一种称为“对角线论证”的方法，用以证明实数集合的势（或大小）大于自然数集合的势。这个方法也可以用来展示“所有集合的集合”不能存在。

首先，假设存在一个“所有集合的集合”S。
然后，考虑所有从S到其自身的可能子集。根据康托尔的对角线论证，可以证明S的所有子集的集合的势（大小）必然大于S本身的势。
这意味着S不能包含所有可能的集合，因为它至少缺少了一些子集。
悖论的核心：悖论在于，如果我们试图构建一个包含一切可能集合的“全集”，那么根据对角线论证，这个“全集”必须比自身还要大，这是不可能的。这表明在朴素集合论中无法构建一个同时包含所有集合的集合。

解决方案：为了解决这个悖论以及集合论中的其他类似问题，数学家们发展了公理化集合论（如ZFC集合论），在这些理论框架中，通过引入公理来限制集合的构造，从而避免了这类悖论的出现。

Cantor's Paradox 揭示了朴素集合论的局限性，促使数学家寻求更加严格和精细的理论框架来处理集合及其相关概念。
:::


:::info{title="罗素悖论"}
罗素悖论（Russell's Paradox）是由英国哲学家和数学家伯特兰·罗素（Bertrand Russell）提出的一个著名逻辑学和集合论中的悖论。它直接挑战了朴素集合论的基本假设，并促进了集合论的公理化。罗素悖论可以这样解释：

朴素集合论的背景：在朴素集合论中，一个集合可以定义为满足某种特定性质的所有对象的汇总。理论上，任何性质都可以定义一个集合。

自我包含的集合：如果一个集合作为自己的元素，则称这个集合为自我包含的。例如，集合“所有集合”的集合是自我包含的，因为它本身是一个集合，所以它包含自己。

罗素悖论的构造：罗素考虑了这样一个集合R，R包含所有不包含自己作为元素的集合。换句话说，如果一个集合x不是自己的元素，那么x就是R的一个元素。

悖论的发生：

现在我们询问：集合R是否包含自己？有两种可能性：
如果R包含自己，根据R的定义，它只应该包含那些不包含自己的集合。因此，如果R包含自己，它就违背了自己的定义。
如果R不包含自己，根据R的定义，它应该包含所有不包含自己的集合，包括R本身。因此，如果R不包含自己，根据定义，它应该包含自己。
这两种情况都导致矛盾，因此无法确定R是否包含自己。
悖论的意义：罗素悖论展示了朴素集合论中关于集合可以由任意性质定义的假设的问题。它说明了需要更加严格的原则来避免这类逻辑悖论。

解决方案：为了解决罗素悖论以及其他相关悖论，数学家发展了新的集合论体系，如Zermelo-Fraenkel集合论（ZF）和带有选择公理的Zermelo-Fraenkel集合论（ZFC）。这些公理化集合论通过限制集合的构建方式，避免了像罗素悖论这样的自相矛盾。

罗素悖论不仅在数学史上占有重要位置，也对逻辑学、哲学以及数学的基础研究产生了深远影响。通过引入更加严格的集合论公理，数学家能够构建一个更加一致和稳固的数学基础。
:::

---

## 子集 Subsets

如果集合$S$的所有元素都是集合$T$的元素，我们说$S$是$T$的子集，写作$S \subseteq T$。

- $S \subseteq T$包含情况：$S=T$
- $S \subset T$包含情况：$S \ne T$
- 对于所有的集合$S$，均有$\empty \subseteq S$
- 对于所有集合$S$，均有$S \subseteq U$
- $N_{>0} \sub N \sub Z \sub Q \sub R$
- 集合的一个元素，和集合的一个子集，不是一个东西。
$$
a \in \{a,b\}, a \nsubseteq \{a,b\}; \\
\{a\} \subseteq \{a,b\}, \{a\} \notin\{a,b\}
$$

# 定义集合 Defining sets

## 显式枚举 Enum

直接对集合内的元素进行枚举，以得到每一个元素，从而定义一个集合。

![image.png](/static/img/505b307aa0bbeca5c2144c552bbcff0b.image.webp)

## 下定义 Defining

使用多项式、不等式等方式为集合元素下定义，从而定义一个集合。

![image.png](/static/img/303b3b472635ec30032c797bf3b80a05.image.webp)

### 特殊形式：Intervals

使用符号直接划定范围，该范围可以视为一个集合。

![image.png](/static/img/1c3de3a337d7a3ea1691b253cbe9b16c.image.webp)

## 从已有集合中构造

![image.png](/static/img/d408abd0d52ef11cb487b69327915ec7.image.webp)


# 集合操作 Set Operations

- 并集 union：

$$
A \cup B = \{x:x \in A \ or\ x \in B\}
$$

![image.png](/static/img/cac6778b2a2ea0424b1de14069322378.image.webp)

- 交集 intersection：

$$
A \cap B = \{x:x \in A \ and\ x \in B\}
$$

![image.png](/static/img/fa8f0a28de48ff52cc63e793fbb0f746.image.webp)


- 补集 complement：

$$
A^C=\{x:x\in U \ and\ x\notin A\}
$$


![image.png](/static/img/0906a85e1c0e78450d17b4e3492bb78c.image.webp)


- 不相交 disjoint：

$$
A \cap B = \empty
$$

- 集合差 set difference：

$$
A \backslash B = A \cap B^C \\
\text{A but not B}
$$

![image.png](/static/img/eb506a8ce0ea373534263661e8370e17.image.webp)


- 对称差 symmetric difference：

表示两集合中各自独有的元素的集合。

$$
A \oplus B = ( A \backslash B ) \cup ( B \backslash A ) \\
\text{A and not B, or B and not A} \\
\text{A xor B}
$$


![image.png](/static/img/1c4a9a798d32de96415c60888cb805c2.image.webp)


## 集合操作与子集 Set Operations and Subset

$$
A \cup B = B \ \text{iff} \ A \cap B = A \ \text{iff} \ A \subseteq B
$$

$$
A \oplus A = \empty  \\
A \oplus \empty = A
$$

## 幂集 Power Set

幂集，指一个集合的所有子集，包括了空集和它本身。

## 基数 Cardinality

指集合中元素的数量。它是用来衡量集合大小的属性。

$$
|X| = \#(X) = card(X)
$$

以此，有如下定理：

一个集合的子集数量等于其2的基数幂。

$$
|Pow(X)|=2^{|X|}
$$

另有：

$$
|[m,n]|=n-m+1,\ m<=n,\ m,n \in Z
$$

## 笛卡尔积 Cartesian Product

笛卡尔积（Cartesian Product）是集合论中的一个运算，用来生成由所有可能的**有序对**组成的集合。给定两个集合 A 和 B，它们的笛卡尔积是指形如 (a, b) 的所有有序对的集合，其中 a 属于集合 A，b 属于集合 B。

$$
S \times T=\{(s,t): s \in S, t \in T\} \\
$$

笛卡尔积不支持乘法交换律和乘法结合律。

$$

A \times B \ne B \times A \\

A \times (B \times C) \ne (A \times B) \times C
$$

如果有n个集合，那么它们的笛卡尔积的结果就是所有的有序n元组构成的集合。每个n元组的第i个元素来自集合$S_i$。

$$
\times^n_{i=1}S_i=\{(s_1,...,s_n):s_k \in S_k, \ 1 \le k \le n\} \\
S^2=S \times S \\
S^n = \times_1^nS
$$

有以下基本事实：

$$
\empty \times S=\empty \\
|S \times T| = |S| * |T| \\
|\times^n_{i=1}S_i|= \prod^n_{i=1}|S_i|
$$

注意：$\Pi_n^1$ 是乘积符号（大写的希腊字母Pi），代表累乘。



# 形式化语言 Formal Languages


形式化语言（Formal Language）在数学、逻辑和计算机科学中指的是一套有严格规定的符号和字符串集合，这些字符串是根据某个形式系统的规则从一个字母表中构建的。在形式化语言中，语法规则严格定义了哪些字符串是有效的，哪些不是。这种语言通常用于表达数学、计算机程序的命令和结构以及其他逻辑系统。


## 字母表 Alphabet

一个字母表是一个基本符号或字符的集合，这些符号或字符本身没有预定义的含义。**（有限，非空）**

![image.png](/static/img/c06f335d1f458394524dead31c954a01.image.webp)

## 字符 Word

字母表中的有限字符序列（字符串）。可以为空，表示为 $λ$ （Lambda）。

![image.png](/static/img/2699aaea14a3d69a4f6b8870d404273e.image.webp)

Concatenation：连接。

![image.png](/static/img/9cc9a657b8cae4fae9aee9aeb7e7d508.image.webp)

## 词集 Set of words

通常指的是由特定字母表中的字符构成的所有可能字符串的集合。

![image.png](/static/img/5c64945b113df2b06d19e425c13da09d.image.webp)

有以下事实：

$$
\Sigma^1=\Sigma \\
\\
\Sigma^*=\Sigma^0 \cup \Sigma^1 \cup \Sigma^2 \cup ...; \ \ 
\Sigma^{\le n}=\bigcup^n_{i=0}\Sigma^i \\
\Sigma^+=\Sigma^1 \cup \Sigma^2 \cup ...=\Sigma^* \backslash \{\lambda\}
$$


## 语言 Languages

![image.png](/static/img/4db9bfdc5a87ebfc52fbaec24a4f8750.image.webp)

## 集合操作的形式化语言 Set Operations for Languages

### 字符连接

直接并列写出即可，顺序不可更换。

$$
XY=\{xy: x\in X \ and \ y \in Y\}
$$

### 连续集合内的字符

可以用指数符号与星号代指数量。

$$
X^0=\{\lambda\} \\
X^{i+1}=XX^i \\
X^*=X^0 \cup X^1 \cup X^2 \cup ...
$$


![image.png](/static/img/f8456eb742c980a54bf63dc1fd5e435a.image.webp)

COMP9020 2.1 Sets and Formal Languages

COMP6991 Exercise 2

COMP6991 Exercise 1

使用SSH远程连接学校服务器以避免环境问题、作业提交失败等情况。



# 官方文档

[Logging In With SSH - CSE taggi](https://taggi.cse.unsw.edu.au/FAQ/Logging_In_With_SSH/)

[Connecting with SSH — CSE Home Computing](https://www.cse.unsw.edu.au/~learn/homecomputing/ssh/)

同时，也可以使用VLAB进行操作：

[Vlab - CSE taggi](https://taggi.cse.unsw.edu.au/Vlab/)

# 操作步骤

1. 启动相应SSH客户端。不推荐使用Windows的cmd。
2. 连接域名：
    ```
    login.cse.unsw.edu.au
    ```
3. 使用你的zID和zPass登录。

# 终端与免密登录

注意：该部分内容基于macOS/Unix类系统，Windows的文件位置可能会有些许差别。

使用本地终端输入以下指令：

```
vim ~/.ssh/config
```

在文件中输入以下内容并保存：

```
Host CSE
	HostName login.cse.unsw.edu.au
	User z123456
	Port 22
```

其中，“CSE”可以更改为任意你喜欢的别名，User需要修改为自己的zID。

保存完毕后，输入以下指令生成ssh密钥：

```
ssh-keygen -t rsa -b 4096 -C "your_email@example.com"
```

邮箱可以选择任何你喜欢的邮箱，并连按三下回车以选择默认配置结束生成。

之后，终端输入以下命令将密钥发送至CSE服务器：

```
ssh-copy-id z123456@login.cse.unsw.edu.au
```

记得替换自己的zID，输入zPass后复制完成。

至此，可以使用终端输入以下指令免密快速登录CSE：

```
ssh CSE
```

注意：该名称为第一步中在config文件内写下的Host后面的字符串自定义名称。

Enjoy UNSW Life.

UNSW CSE服务器登陆指南

COMP9020 Quiz 1，Test started Feb 14, 2024 6:00 PM to Feb 21, 2024 6:00 PM.



# Part 1

## 1.1
Question:
> How many integers between -101 and 1001 (inclusive) are divisible by 3?

Answer:

> 367

本题用 [此部分 - 简单理论3](https://rin977.com/post/COMP9020-1-2#%E5%AE%9E%E6%95%B0%E4%B8%8E%E6%95%B4%E6%95%B0%E4%B9%8B%E9%97%B4%E7%9A%84%E8%BD%AC%E6%8D%A2) 中提到的公式进行计算即可。

$$
⌊\frac{1001}{3}⌋ - ⌊\frac{-101-1}{3}⌋=333-(-34)=367
$$

## 1.2

### Question

> Which of the following will give:
> 
> - x+1 if x is an integer, and
> - The smallest integer greater than x if x is not an integer.
> 
> Select all that apply:
> 
> $2-⌊1-x⌋$
> 
> $⌈x+1⌉$
> 
> $⌊x⌋+1$
> 
> $2-⌈1-x⌉$
> 
> $⌊x+1⌋$
>  
> $⌈x⌉+1$

### Answer
> $⌊x⌋+1$
> 
> $2-⌈1-x⌉$
> 
> $⌊x+1⌋$

本题用 [此部分 - 简单理论1&2](https://rin977.com/post/COMP9020-1-2#%E5%AE%9E%E6%95%B0%E4%B8%8E%E6%95%B4%E6%95%B0%E4%B9%8B%E9%97%B4%E7%9A%84%E8%BD%AC%E6%8D%A2) 中提到的公式进行计算即可。

选项1：

$$
2-⌊1-x⌋ = 2+⌈x-1⌉=⌈x+1⌉
$$

- 不符合条件2，排除。

选项2：

- 同选项1，排除。

选项3：

- 正确。

选项4：

$$
2-⌈1-x⌉=2+⌊x-1⌋=⌊x+1⌋
$$

- 正确。

选项5：

- 同选项4，正确。

选项6：

- 不符合条件2，排除。


## 1.3

### Question

> Which of the following is true for all real numbers x?
> 
> Select all that apply:
> 
> $⌈x⌉=⌈⌈x⌉⌉$
> 
> $⌊x⌋<⌈x⌉$
> 
> $⌈⌊x⌋⌉\le⌊⌈x⌉⌋$
> 
> $⌊⌈x⌉⌋\le⌈⌊x⌋⌉$

### Answer

> $⌈x⌉=⌈⌈x⌉⌉$
> 
> $⌈⌊x⌋⌉\le⌊⌈x⌉⌋$

本题用常理推断即可。

选项1：

由于 $⌈x⌉$ 为整数，因此第二层向上取整无效。$⌈⌈x⌉⌉=⌈x⌉$。

- 正确。

选项2：

$$
\because ⌊x⌋ \le x, \ x \le ⌈x⌉ \\
\therefore ⌊x⌋ \le  x \le ⌈x⌉ \\
\therefore ⌊x⌋ \le ⌈x⌉ \\
$$

- 当 $x$ 为整数时，应当存在等号，因此该选项错误。

选项3：

由于 $⌈x⌉$ ， $⌊x⌋$ 均为整数，因此第二层向上取整和向下取整均无效。

$$
⌈⌊x⌋⌉=⌊x⌋ \\
⌊⌈x⌉⌋=⌈x⌉
$$

因此，原不等式变为：

$$
⌊x⌋ \le ⌈x⌉
$$

- 参考选项2，正确。

选项4：

参考选项3，其可变形为：

$$
⌈x⌉ \le ⌊x⌋
$$

- 参考选项2，错误。

## 1.4

### Question

Which of the following propositions are true?

Select all that apply:


- For every integer x, there exists an integer y such that x|y.
- For every integer x, there exists an integer y such that y|x.
- There exists an integer y, such that for every integer x, x|y.
- There exists an integer y, such that for every integer x, y|x.
- None of the above

### Answer

- For every integer x, there exists an integer y such that y|x.
- There exists an integer y, such that for every integer x, x|y.

本题主要考察 [可约分性的定义](https://rin977.com/post/COMP9020-1-2#%E5%8F%AF%E7%BA%A6%E5%88%86%E6%80%A7) 。

选项1：

- 当 $x=0$ 时，$x|y$ 无意义，错误。

选项2：

- 无论 $x$ 的值为多少，都可以使 $y = 1$ ，则： $y|x$ 成立。正确。
- $ 1 $可以整除任何数，包括0。
- 当 $x = 0$ 时，仍然成立。即： $1|0$ 仍是正确的。

选项3：

- 没有一个整数 $y$ 能做到可以被所有的数字整除。即：$x|y$ 不可能对任意 $x$ 成立。错误。

选项4：

- 使 $y = 1$ ，则对于任意的 $x$ 均有 $y|x$ 成立。正确。
- $ 1 $可以整除任何数，包括0。


:::warning{title="注意"}
本题需要非常严谨地思考量词与逻辑顺序，这在第一节课是着重强调过的。

- 选项1、选项2，意为：对于任意的值 $x$，总存在一个与其对应的 $y$，并使得后面的式子成立。
- 选项3、选项4，意为：存在一个值 $y$，对于所有的 $x$ 的取值，均能让后面的式子成立。

前两个选项中，对于不同的 $x$ 值， $y$ 的值是可以变化的。而在后两个选项中， $y$ 的值是恒定不变的。
:::


## 1.5

### Question

What is gcd(286,396)?

### Answer

22

使用欧里几德算法即可快速算出。略过不表。


## 2.1

### Question

True or False:

For all positive integers $m,n$ and all integers $a,b$ , 

if $a=_{(m)}b$ and $a=_{(n)}b$ ,
then $a=_{(mn)}b$

### Answer

False

因为 $m,n$不一定是互质的。以下是一个简单的反例：

$$
a=14, b=2 \\
m=6, n=4 \\
$$

根据计算可得：

$$
14=_{(4)}2 \\
14=_{(6)}2 \\
14\ne_{(24)}2
$$

## 2.2

### Question

Which of the following will give:

- $1$ if $x>0$
- $0$ if $x<0$

Select all that apply:

- $x / (2|x|) + 1/2$
- $|x+1| / (2x)$
- $x - |x|$
- $(x + |x|) / (2x)$
- $x / ⌈x⌉$

### Answer

- $x / (2|x|) + 1/2$
- $(x + |x|) / (2x)$

大部分选项错在他们根本没法稳定地仅得到 $1$ 或 $0$ 这两种结果。

选项1：

当 $x>0$ 时，

$$
\frac{x}{2|x|}+\frac{1}{2}=\frac{1}{2}+\frac{1}{2}=1
$$

当 $x<0$ 时，

$$
\frac{x}{2|x|}+\frac{1}{2}=-\frac{1}{2}+\frac{1}{2}=0
$$

- 正确。

选项2：

反例：当 $x = 2$时，

$$
\frac{|x+1|}{2x}=\frac{3}{4}\ne1
$$

- 错误。

选项3：

当 $x<0$ 时，

$$
x - |x| = x - (-x) = 2x\ne0
$$

- 错误。

选项4：

当 $x>0$ 时，

$$
\frac{x+|x|}{2x}=\frac{x+x}{2x}=1
$$

当 $x<0$ 时，

$$
\frac{x+|x|}{2x}=\frac{x-x}{2x}=0
$$

- 正确。

选项5：

反例：当 $x=1.5$ 时，

$$
\frac{x}{⌈x⌉} = \frac{1.5}{⌈1.5⌉} = \frac{1.5}{2} = 0.75\ne1
$$

- 错误。



## 2.3

### Question

Suppose $x,y$ and $z$ are arbitrary integers such that $x|y$ and $y|z$.

Which of the following are always true (i.e. true for any such $x, y, z$)?

Select all that apply:

- $xy|yz$
- $xy|z$
- $x+y|z$
- $x|yz$
- $x+y|y+z$
- $x|y+z$

### Answer

- $xy|yz$
- $x|yz$
- $x|y+z$

依然是关于整除的问题。

已知：

$$
x|y，y = a * x\\
y|z，z = b * x
$$

因此：

$$
x|z，z = (a+b) * x
$$

选项1：

因为 $x|z$，即$ z = k * x$，因此可得：

$$
yz = k * xy
$$

即：$xy|yz$。

- 正确。

选项2：

- 由选项1可知 $xy|yz$。当且仅当 $y=1$ 时，$xy|z$ 。
- 错误。

选项3：

- 显然错误。

选项4：

已知：

$$
x|y，y = a * x\\
y|z，z = b * x
$$

故：

$$
yz = abx * x \\
x | yz
$$

- 正确。

选项5：

已知：

$$
x|y，y = a * x\\
y|z，z = b * x
$$

故：

$$
x + y = (a + 1) * x \\
y + z = (a + b) * x \\
\frac{y+z}{x+y}=\frac{a+b}{a+1}
$$

- 由于 $\frac{a+b}{a+1}$ 不一定为整数，因此不一定有 $x+y|y+z$ 。错误。

选项6：

已知：

$$
x|y，y = a * x\\
y|z，z = b * x
$$

故：

$$
y + z = (a + b) * x \\
\frac{y+z}{x}=a+b
$$

- 正确。

## 2.4

### Question

Let $m, n$ and $k$ be arbitrary integers, with $k≥1$ and $n<m$.

Which of the following counts the number of multiples of k between n (exclusive) and m (exclusive)?

Select all that apply:

- $⌊(m-1)/k⌋ - ⌊n/k⌋$
- $⌊(m-n-1)/k⌋$
- $⌊m/k⌋ - ⌈n/k⌉$
- $⌈m/k⌉ - ⌊n/k⌋$
- $⌊(m-n)/k⌋$

### Answer

- $⌊(m-1)/k⌋ - ⌊n/k⌋$

其实上课听了倍数数量的证明就知道为什么了，自己画个数轴非常快就明白了。

![Recording 19:20 Week 1, Fri 16, Feb](/static/img/ce05d16c53713fde444e702f5d4b833e.image.webp)


## 2.5

### Question

Which of the following hold for all real numbers x and y?

Select all that apply:

- $⌊xy⌋ ≥ ⌊x⌋·⌊y⌋$
- $|xy| ≥ |x|·|y|$
- $⌊x+y⌋ ≥ ⌊x⌋ + ⌊y⌋$
- $|x+y| ≥ |x| + |y|$
- $⌈xy⌉ ≥ ⌈x⌉·⌈y⌉$
- $⌈x+y⌉ ≥ ⌈x⌉ + ⌈y⌉$

### Answer

- $|xy| ≥ |x|·|y|$
- $⌊x+y⌋ ≥ ⌊x⌋ + ⌊y⌋$

选项1：

- 在负数上不成立，错误。


选项2：

其实应该是等号。

- 正确。

选项3：

假设：

$$
x = ⌊x⌋ + a, \ a\in[0,1) \\
y = ⌊y⌋ + b, \ b\in[0,1) 
$$

则有：

$$
x + y = ⌊x⌋ + ⌊y⌋ + (a + b)
$$

已知 $⌊x⌋ + ⌊y⌋$ 为整数，那么：

$$
a + b \ge 1, \ \ ⌊x+y⌋ > ⌊x⌋ + ⌊y⌋ \\
a + b \lt 1, \ \ ⌊x+y⌋ = ⌊x⌋ + ⌊y⌋
$$

综上所述，$⌊x+y⌋ ≥ ⌊x⌋ + ⌊y⌋$。

- 正确。


选项4：

当 $xy < 0$ 时，会出现 $|x+y| < |x| + |y|$。

- 错误。


选项5：

反例：

$$
x=1.1,y=1.1 \\
⌈x⌉=2,⌈y⌉=2 \\
⌈x⌉⌈y⌉=2 * 2 = 4>⌈xy⌉=⌈1.1 * 1.1⌉=⌈1.21⌉=2
$$

- 错误。

选项6：

反例：

$$
x=1.1,y=1.1 \\
⌈x⌉=2,⌈y⌉=2 \\
⌈x⌉+⌈y⌉=2 + 2 = 4>⌈x+y⌉=⌈1.1 + 1.1⌉=⌈2.2⌉=3
$$

- 错误。