Chapter 1.5, Problem 44E

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.

$\begin{array}{l}\text{1. All pigs are fat.}\\ \text{2. Nothing that is fed on barley-water is fat.}\\ \text{Therefore, pigs are not fed on barley-water.}\end{array}$