1. Methods for Evaluating Validity
Two steps in testing argument validity:
1. Translate to logical notation to represent its form.
2. Evaluate that form.

2. Methods for Evaluating Validity
Two steps in testing argument validity:
1. Translate to logical notation to represent its form.
2. Evaluate that form.
There are several ways to do 2.
1. Proofs
2. Truth Tables
3. Trees

3. Methods for Evaluating Validity
Two steps in testing argument validity:
1. Translate to logical notation to represent its form.
2. Evaluate that form.
There are several ways to do 2.
1. Proofs
2. Truth Tables
3. Trees
What we will do first

4. Methods for Evaluating Validity
The Proof Method:
1. Locate some simple arguments forms that are obviously valid.
2. Use them to validate more complex argument forms.

5. > Out
A>B A B

6. > Out
A>B A B
>Out
a.k.a Modus Ponens

7. For more click here > Out From a conditional > A>B A
and its antecedent
derive its consequent.
For more click here
A>B A B