学习笔记《Predicate Logic》

在展开学习集合论的过程中，一开始可能连题目也看不懂，原因就是有一套 Predicate Logic（断言逻辑） 在后面：

课程地址：
https://www.youtube.com/watch?v=YbNmPievBak

Universal Quantifier:

注意 → 符号，可以阅读为 if * then p(a) is true

Existential Quantifier:

注意 Λ 符号，可以阅读为 and p(a) is true

混合使用：

Negations of Quantifiers:

Big-Sigma Notation:

Big-Intersection Notation:

Big-Union Notation:

Index Set: