Professional Documents
Culture Documents
8/31/16
BASIC CONCEPTS OF DEDUCTIVE LOGIC
Propositions/Statements/Assertion
If p, then q.
p
Therefore, q.
Substitution instance:
If you saw the greatest rock band of all time tonight,
then you saw Radiohead.
You saw the greatest rock band of all time tonight.
Therefore, you saw Radiohead.
Again, if the premises are true, the conclusion must be
true because of its form.
Different Instance of Modus Ponens
If p, then q.
p
Therefore, q.
Substitution instance:
If it is snowing outside, we are in China.
It is snowing outside.
C: We are in China.
- All this may be false, but still a good argument, since
if the premises were true, they would guarantee the
truth of the conclusion.
To Emphasize:
Valid or invalid?
For example
Propositions
Arguments
Distinguishing arguments from explanations
Deduction vs. Induction
Validity and Invalidity
Form and Substitution Instance
Truth and Soundness