集合与常用逻辑用语

Concept of Sets

集合是由一些确定的、不同的对象组成的整体。集合中的对象称为元素。集合具有确定性、互异性和无序性三个基本特征。

Relations Between Sets

子集、真子集、相等关系是集合间最基本的关系。空集是任何集合的子集。

Set Operations

交集、并集、补集是集合的三种基本运算，可以用韦恩图直观表示。

Sufficient & Necessary Conditions

若p⇒q，则p是q的充分条件，q是p的必要条件。充要条件是既充分又必要的条件。

Universal & Existential Quantifiers

全称量词'对任意的'(∀)和存在量词'存在'(∃)用于精确表达数学命题。全称命题的否定是存在命题，反之亦然。