Chapter 1.

6, Problem 1E

Problem

Find the argument form for the following argument and determine whether it is valid. Can we
conclude that the conclusion is true if the premises are true?

If Socrates is human, then Socrates is mortal. Socrates is human.

Socrates is mortal.

Step-by-step solution

Step 1 of 1

Let be the proposition “Socrates is human” and let be the proposition “Socrates is mortal”.

This argument is of the form

This argument is valid because it is constructed by modus ponens a valid argument form.

The conclusion is true because the hypotheses is true.