0
$\begingroup$

Determine if the following set of sentence is consistent or inconsistent:

If John committed the murder, then he was in the victim's apartment and did not leave before 11. In fact, he was in the victim's apartment. If he left before 11, then the doorman saw him but it is not the case either that the doorman saw him or that he committed the murder.

  • 1
    Si$n$ce you are $n$ew to this site, please co$n$sider reading this: [How to ask a homework question?](http://meta.math.stackexchange.com/questions/1803/how-to-ask-a-homework-question) I wrote this comment because the question sounds homework-like.2012-09-18

1 Answers 1

2

It’s entirely possible to work the problem using only ordinary English. However, you can also approach it systematically. The statement of the problem involves four propositions. In the order that they appear they are:

$p$: John committed the murder.
$q$: John was in the victim’s apartment.
$r$: John did not leave before $11$.
$s$: The doorman saw him.

Here I’ve given them symbolic names for brevity. Now translate the assertions in the three sentences into statements in propositional logic:

$\begin{align*} &p\to(q\land r)\\ &q\\ \lnot &r\to\big(s\land\lnot(s\lor p)\big) \end{align*}$

If you do a little ‘algebraic’ manipulation of the third line, you may be able to see right away whether the system of statements is consistent. If not, write out a complete truth table; since you have four basic propositions, your truth table will have $2^4=16$ lines. Is there any line in which all three statements are true? If so, they’re consistent; if not, they’re inconsistent. (Notice that you really only have to construct the half of the truth table in which $q$ is true, since you don’t care about the other eight cases.)

  • 0
    @Henning: I thought about it, but i$f$ that were intended, I’d expect a comma before the *but*: one is technically required there, so its absence ought to be significant. However, I will readily agree that the intended interpretation isn’t really all that clear, and it’s entirely possible that the author was insensitive to such subtleties. (You get a free pass, even if your English is excellent. :-))2012-09-18