In this lab, we will explore interpretations of the conditional
statement. You should write-up your answer in a MS Word document, and when you
are finished, you should upload it in Moodle. Tom, Jim, and Denny
are suspected of civil disobedience. They testify under oath as follows:
Tom says: “Jim is
guilty and Denny is innocent.” Jim says: “If Tom
is guilty, then so is Denny.” Denny says: “I am innocent, but at least one
of the others is guilty.”
Your filename should include your name or initials.
(a) Write each person’s testimony in symbolic form, and make sure that
the statement definitions you use are clear.
(b) Assume that each person is either innocent or guilty, but not both. Under
what condition(s) of guilt or innocence could everyone’s testimony be
true? Use a truth table for your answer.
(c) Now, assume everyone is innocent. Who committed perjury? Refer to the truth
table for your answer.