一章 人类历史与生物 第三节 数学交集与文字式数学演算法（2 / 2）

(3)n(A-B)＝U集合试图减去Ａ集合中属于Ｂ集合的基数，n有Ｕ代数(代表符号)之意。

(4)1.n(A'交集(倒U)B')＝n(X集合[A集合与B集合的交界处])＝n(X)[n等于Ｘ集合域]

2.n(A'U[联集]B')，Ｘ在A与B集合之外的定义域。

※数学老师注解：没错，我们的确可以透过数学了解我们在集合与人际关係内的位置，属于某个集合或是同时属于两个集合，或是属于集合交

界处(爱娃的例子)，或是不属于ＡＢＣ集合自成一个Ｘ集合，但是没有一个人会在Ｕ集合之外，”我们”都在Ｕ集合以内。

NOTE：U，联集，约等于n(X)，[X定义域]，故n(A)Un(B)约等于A+(x定义域)n(X)+B。

数学第一单元集合的基础概念重点二简单的逻辑概念：命题。

1.複合叙述，定义：V＝「或」，倒V等于「且」。

HINT1：命题符号：p，q。

(1)pV(or)q=true(命题中当p或q其一为真时则命题成立。)，pand(倒V)q=fake(当命题中p和q皆为假时则命题不成立)。

(2)p(倒V)且q=(命题中当p与q皆为真时则命题成立。)，p(倒V)q时命题为假(当命题中p或是q其一为假时则命题不成立)。

2.複合叙述的否定

HINT3：「～」＝否定符号。

(1)「p或q」的否定：～(pVq)≡否定p，或是否定q。(Ex：p是错的，或是q不存在)。

(2)「p且q」的否定：～(p(倒V)q)≡否定p，而且否定q。(Ex：说p是错的，而且q也是错的)

(3)「非p」的否定：～(～p)，p以外都是对的，或是p存在于q集合。

还好我们数学课很安静而且有充裕的时间(pm14:42为记录时间点)，我对数学的理解程度现在终于有点进展了。

3.(重点三)全称命题或是存在命题的否定。(即「任一」与「有一(其一)」的否定)

HINT2：≡符号为等价。

若一个命题中(ㄓㄨㄥ)，前叙述与后叙述等义或是有相同的真假值，则称此二叙述等价或是同义，以「≡」表之。

(1)全称命题的否定(整个句子的否定)，即：「dataX属于A(所有人)，或是P(x)(B集合)」的否定为『倒E』x属于A，P(x)是错的，。

(2)存在命题的否定：～「倒Ｅ属于A，P(x)」≡倒Ｅ不属于Ａ或是Ｐ集合。