- Valid Arguments.

- Definition: An
is a sequence of statements in which all of the statements except the last one are premises (aka assumptions, aka hypotheses), and the last one is the conclusion.*argument* - Definition: An
is a sequence of statement forms in which all of the statement forms except the last one are premises (aka assumptions, aka hypotheses), and the last one is the conclusion.*argument form* - Examples:

- p q

p

q - If Sally is a freshman, then Sally has not declared a major.

Sally is a freshman.

Sally has not declared a major.

- p q
- Definition: An argument form is
if no matter what particular statements are substituted for the statement variables in its premises, the conclusion is true whenever all of the premises are true.*valid* - Definition: An argument is
if its form is valid.*valid*

- Definition: An
- Testing an Argument Form for Validity.

- To test an argument form for validity:

- Identify the premises and conclusion of the argument form.
- Construct a truth table showing the truth values of all premises and the conclusion.
- If the truth table contains any rows in which all of the premises are true
and the conclusion is false, then the argument form is invalid. Otherwise,
the argument form is valid.

(So, the crucial rows to check the conclusion are the ones in which all of the premises are true.)

- Examples:

- p (q r)

r

p q

Show that the above argument form is valid. - p (q r)

q (p r)

p r

Show that the above argument form is invalid.

- p (q r)

- To test an argument form for validity:
- Modus Ponens (method of affirming) and Modus Tollens (method of denying).

- Argument forms consisting of two premises and a conclusion are called
*syllogisms.*

The first and second premises are called the major premise and the minor premise.

A very important and commonly used form of syllogism is calledwhich is Latin for "method of affirming." It has this classic form:*modus ponens,*

p q

You may construct a truth table to prove the validity of this argument form.

p

Therefore, q

- Another important and commonly used form of syllogism is called
which is Latin for "method of denying." It has this classic form:*modus tollens,*

p q

You may construct a truth table to prove the validity of this argument form.

q

Therefore, p.

This is sometimes referred to as proof by contradiction. - Examples:

- If today is Monday, then I will go to MA 125.

Today is Monday.

Therefore, I will go to MA 125.

Is the conclusion always true whenever both premises are true?

Is this a valid argument?

What happens on Wednesday? I go to MA 125 (but it is not Monday).

The argument is valid every day of the week, but it is only aargument on Monday. Every other day of the week it is still a valid argument, but it is an*sound*argument since one or more premises is false.*unsound* - If my car is out of gas, then it will not run.

My car runs [is running].

Therefore, my car is not out of gas.

- If today is Monday, then I will go to MA 125.

- Argument forms consisting of two premises and a conclusion are called