逻辑形式证明例题.docVIP

形式证明例题： 警方根据下列事实，能否确定甲、乙、丙、丁四名嫌疑人中，谁到过案发现场，谁未到过案发现场。写出推导过程。 ⑴　只有甲未到现场，乙才未到现场。 ⑵ 只要乙到过现场，丙就未到现场或者甲未到现场。 ⑶ 如果丁未到过现场，那么甲到过现场而丙也到过现场。 ⑷ 只有甲未到过现场，丁才到过现场。 ? 1 ?p←?q P 2 q→?r(?p P 3 ?s→p∧r P 4 ?p←s P 5 p→q 1交换律 6 p→?r(?p 2、5假言连锁 7 p→?s 4交换律 8 p→p∧r 3、7假言连锁 9 ?p 6、8归谬推理 10 ?r(?p 9附加律 11 s