西安电子科技大学S1.6.2逻辑推理软件学院【例题】侦察员在调查了某珠宝店的珠宝失窃案现场以及询问了人证后，得到以下事实：a）是营业员甲或营业员乙作的案：（b）若是甲作的案，则案发在非营业时间；（c）若乙提供的证词可信，则案发时货柜未上锁；（d）若乙提供的证词不可信，则案发在营业时间；（e）货柜在案发时的确上锁了。请用命题逻辑帮助侦察员推断到底是谁作的案？解答：设P：是营业员甲作的案Q：是营业员乙作的案R：案发在营业时间S：乙提供的证词可信T：货柜在案发时上锁了西安电子科技大学 软件学院 解答： 【例题】侦察员在调查了某珠宝店的珠宝失窃案现场以及 询问了人证后，得到以下事实： （a）是营业员甲或营业员乙作的案； （b）若是甲作的案，则案发在非营业时间； （c）若乙提供的证词可信，则案发时货柜未上锁； （d）若乙提供的证词不可信，则案发在营业时间； （e）货柜在案发时的确上锁了。 请用命题逻辑帮助侦察员推断到底是谁作的案？ 设P：是营业员甲作的案 Q：是营业员乙作的案 R：案发在营业时间 S：乙提供的证词可信 T：货柜在案发时上锁了 §1.6.2 逻辑推理