视频目录 / 数学逻辑、集合与证明

系列分集

高等数学入门：谓词逻辑

Introduction to Higher Mathematics - Lecture 6: Predicate Logic

先标明命题依赖的变量，再分别加上全称与存在量词，观察一个反例可以推翻哪种陈述。

Bill Shillito · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Introduction to Higher Mathematics · 2018-02-17