第5章 命题逻辑（proposition logic）