B视频课程：https://www.bilibili.com/video/BV1RA411C7ma/?share_source=copy_web&vd_source=64d3d386919d339af6b106a726221e97 目录 第一章 集合论基础 集合的初见 特殊集合与集合间的关系 集合的运算 集合的运算定律 可数集合与不可数集合 第二章 命题逻辑 什么是命题 命题联结词 命题符号化及其应用 命题公式和真值表 命题公式分类和等价 命题等价公式及应用 范式 主范式 命题蕴涵公式 演绎法推理 第三章 谓词逻辑 谓词的引入 量词的引入 谓词符号化举例 谓词合式公式 自由变元和约束变元