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

系列分集

离散数学：命题逻辑续讲

Lecture 2 - Propositional Logic (Contd.)

把一个复合命题拆成基本变元和连接词，再用真值表检查它在什么条件下成立。

nptelhrd · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Computer Sc - Discrete Mathematical Structures · 2013-06-09