计算机科学逻辑题汇总,总结了离散数学里面用到的逻辑。作为自考素材