Several students were asked to formalize the following argument by defining appropriate predicates and then giving the argument as a numbered listed of statements.

Several students were asked to formalize the following argument by defining appropriate predicates and then giving the argument as a numbered listed of statements. Each statement was to be labeled either as a premise, or a conclusion from earlier statements, and the argument form used identified. Vegetarians don’t eat meat. Bill is a vegetarian. Pork is a kind of meat. Therefore, Bill does not eat pork. Identify the correct answer.

Leave a Reply

Your email address will not be published.