V (the victim) has been murdered by a single individual. There are only three su
ID: 3684028 • Letter: V
Question
V (the victim) has been murdered by a single individual. There are only three suspects, A, B, and C, and it is certain that one of them committed the crime. Here is what else is known: A says that B was V’s friend but that C hated V. B says he was out of town the day of the murder, and he didn’t even know V. C says that he saw A and B with V just before the murder. You can assume that everyone except the murderer is telling the truth. Who is the Murderer? Hint: You do not need FOL for doing this. Write the statements as propositions and perform propositional resolution.Explanation / Answer
A stands for " He is the murderer"
B stands for " He is the murderer"
C stands for " He is the murderer"
A => ~B ^ ~C
FB for "B was V's friend ", and negation to express someone hated the victim.
~FC that is "C was not friend of V "
B => ~A ^ ~C
if B is the murderer then B was out of the town the day othe murder, and he didn't even know V.
C => ~A ^ ~B
if C is the murderer then A and B with V just before the muderer
Therefore A is the murderer
Related Questions
Navigate
Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.