集合与逻辑
1.1 集合的基本概念
集合的定义
- 集合是指具有某种特定性质的对象的全体。每一个对象称为该集合的元素。
- 集合通常用大写字母表示,元素用小写字母表示。
集合的表示方法
- 列举法:直接列出集合的所有元素,如 。
- 描述法:用集合的性质描述其元素,如 。
常见集合
- 空集:没有任何元素的集合,记作 。
- 全集:包含所有讨论对象的集合,记作 。
1.2 子集、并集、交集、补集
子集
- 若集合 的每个元素都是集合 的元素,则 是 的子集,记作 。
- 若 且 ,则 。
并集
- 集合 和 的并集包含所有在 或 中的元素,记作 。
- 例如,若 ,,则 。
交集
- 集合 和 的交集包含所有同时在 和 中的元素,记作 。
- 例如,若 ,,则 。
补集
- 集合 的补集包含全集 中不在 中的元素,记作 或 。
- 例如,若 ,,则 。
1.3 笛卡尔积
定义
- 两个集合 和 的笛卡尔积是所有有序对 ,其中 且 ,记作 。
- 例如,若 ,,则 。
应用
- 笛卡尔积用于定义关系和函数。例如,若 和 分别表示商品和消费者的集合,则 表示所有商品和消费者的组合。
1.4 命题逻辑与谓词逻辑
命题逻辑
-
命题:一个可以判定真假的陈述。
- 例如,“今天是星期一”是一个命题。
-
逻辑连接词:用于构建复合命题的词,如“与”(∧)、“或”(∨)、“非”(¬)。
-
真值表:用于表示复合命题在不同情况下的真假。
- 例如,命题 和 的“与”复合命题 的真值表如下:
T T T T F F F T F F F F -
逻辑等价:两个命题逻辑公式在所有可能的真值组合下取相同的真值。
- 例如, 与 是逻辑等价的。
谓词逻辑
- 谓词:表示对象间的关系或属性的逻辑函数。
- 例如,“x是学生”可以用谓词 表示。
- 量词:用于表示范围的符号,包括全称量词(∀)和存在量词(∃)。
- 例如,“所有人都是学生”可以表示为 。
- “存在一个学生”可以表示为 。
这些逻辑工具在经济学中的应用非常广泛。例如,在博弈论中,用逻辑表达策略和支付函数;在市场分析中,用集合表示不同市场参与者的集合及其相互关系。