propositional

The second chapter introduces propositional logic.

第二章介绍命题逻辑。