Chapter 1.5, Problem 36E

In Exercises $21-42$, define the necessary symbols, rewrite the argument in symbolic form, and use a truth table to determine whether the argument is valid. If the argument is invalid, interpret the specific circumstances that cause the argument to be invalid.

If the defendant is innocent, he does not go to jail. The defendant is guilty. Therefore, the defendant goes to jail.