美文网首页
学习笔记《Predicate Logic》

学习笔记《Predicate Logic》

作者: 马文Marvin | 来源:发表于2018-03-30 15:11 被阅读26次

在展开学习集合论的过程中,一开始可能连题目也看不懂,原因就是有一套 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:

相关文章

网友评论

      本文标题:学习笔记《Predicate Logic》

      本文链接:https://www.haomeiwen.com/subject/rpybcftx.html