离散数学题:综合题 利用推理证明解决下面问题:一公安人员审查一件盗窃案已知的事实如下:(1)甲或乙盗窃