离散数学 同步测试1、命题逻辑