Some information about homework problem.

C'  is the conclusion - it is NOT a hypothesis

The problem CAN be done using our original statements (i.e. without replacing T by K)

Here is a re-cap of the ORIGINAL problem with correct hypotheses

Here’s what the lawyer said

If my client is guilty, then the knife was in the drawer

Either the knife was not in the drawer or Jason Pritchard saw the knife.

If the knife was not there on October 10, it follows that Jason Pritchard did not see the knife.

Furthermore, if the knife was there on October 10, then the knife was in the drawer and also the hammer was in the barn.

But we all know that the hammer was not in the barn.

Therefore, ladies and gentlemen of the jury, my client is innocent.

C client is guilty
K knife was in the drawer
T knife was there on October 10
S Jason Pritchard saw knife
H hammer was in the barn

1. C -> K hyp
2. K' v  S hyp
3. T' -> S' hyp
4. T -> (K ^ H) hyp
5. H' hyp

Font = MS Mincho

∀

∐

∃

→

⋀

⋁