在展开学习集合论的过程中,一开始可能连题目也看不懂,原因就是有一套 Predicate Logic(断言逻辑) 在后面:
课程地址:
https://www.youtube.com/watch?v=YbNmPievBak
Universal Quantifier:


Existential Quantifier:



混合使用:

Negations of Quantifiers:


Big-Sigma Notation:

Big-Intersection Notation:

Big-Union Notation:

Index Set:

网友评论