Académique Documents
Professionnel Documents
Culture Documents
1. Valid Arguments.
a. Definition: An argument 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.
b. Definition: An argument form 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.
c. 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.
d. Definition: An argument form is valid 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.
e. Definition: An argument is valid if its form is valid.
2. Testing an Argument Form for Validity.
a. To test an argument form for validity:
1. Identify the premises and conclusion of the argument form.
2. Construct a truth table showing the truth values of all premises and the
conclusion.
3. 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.)
b. Examples:
p (q r)
r
p q