四川大学离散数学课件,命题逻辑部分,含有上机实践作业