Arguments
Arguments
is just a proposition and that its truth table could contain either T
or F in its last column.
But,
Definition:
An argument is said to be valid if is true whenever all the
premises are true. An argument which is not valid is called a
fallacy.
Examples:
1. Consider the following argument:
: Some animals can reason.
: Man is an animal.
……………………………..
: Man can reason.
Examples:
2. Consider the following argument:
: Babies are illogical.
: Nobody is despised who can manage a crocodile.
: Illogical people are despised.
…………………………………………………………
: Babies cannot manage crocodiles.
Examples:
3. Consider the following arguments.
Some students are lazy.
All males are lazy.
…………………………
Some students are males.
Examples:
4. Consider the following arguments.
All students are lazy.
Nobody who is wealthy is a student.
………………………………………
Lazy people are not wealthy.
Examples:
5. Consider the following arguments.
No student is lazy.
John is an artist.
All artists are lazy.
……………………
John is not a student.
Examples:
6. Consider the following arguments.
“If you have a current password, then you can log onto the
network”
“You have a current password.”
Therefore,
“You can log onto the network.”
Remarks:
1. Note that the truth value of an argument does not depend upon
the particular truth value of each of the statements in the
argument.
2. An argument is valid if and only if it is impossible for all
premises to be true and the conclusion to be false.
Theorem:
The argument is valid if and only if the proposition is a
tautology.
Remark:
Rules of Inference for Propositional Logic
Addition Conjunction
Simplification Resolution
Using Rules of Inference to Build Arguments
Example:
Show that the premises
“It is not sunny this afternoon and it is colder than yesterday”,
“We will go swimming only if it is sunny”,
“If we do not go swimming, then we will take a canoe trip”, and
“If we take a canoe trip, then we will be home by sunset”
lead to the conclusion
“We will be home by sunset”.
Solution:
Let : It is sunny this afternoon.
: It is colder than yesterday.
: We will go swimming.
: We will take a canoe trip.
: We will go swimming.
Step Reason
1. Premise
2. Simplification using (1)
3. Premise
Step Reason
1. Premise
2. Simplification using (1)
3. Premise
4. Modus tollens using (2) and (3)
5. Premise
6. Modus ponens using (4) and (5)
7. Premise
8. Modus ponens using (6) and (7)
Common Fallacies
These fallacies resemble rules of inference, but are based on
contingencies rather than tautologies.
Fallacy of Affirming the Conclusion
Example:
If you do every problem in this book, then you will learn logic
and set theory. You learned logic and set theory. Therefore, you
did every problem in this book.
Fallacy of Denying the Hypothesis
Rules of Inference for Quantifies Statements
T T T T T T
T F F T T F
F T T F F T
F F T T T T
Example:
1. Consider the following statements about a triangle .
: If is equilateral, then is isosceles.
: If is isosceles, then is equilateral.
Note that is true, but is false.
Example:
2. Prove.
: If is odd then is odd.
Proof:
Show that the contrapositive , that is, “If is even, then is
even”, is true.
Let be even, then when . Hence, is also even. Since the
contrapositive is true, the original conditional statement is also
true.