Discrete Mathematics Handout 2

数理逻辑，命题逻辑的基本概念，上课可以作为上课的讲义。