离散数学实验报告

实验一 命题逻辑推理1.实验用例根据下面的命题，试用逻辑推理方法确定谁是作案者，写出推理过程。（ ）营业员 或 偷了手表；（ ）若 作案，则作案不在营业时间；（ ）若 提供的证据正确，则货柜末上锁；（