1. Drawing and Supporting Conclusions

2. Law of Detachment You are given: You can conclude:
a true conditional statement and
the hypothesis occurs
You can conclude:
that the conclusion will also occur

3. Law of Detachment Symbolic form You are given: You can conclude:
pq is true
p is given
You can conclude:
q is true
Symbolic form

4. Law of Detachment Example You are given:
If three points are collinear, then the points are all on one line.
E,F, and G are collinear.
You can conclude:
E,F, and G are all on one line.

5. Law of Syllogism You are given: You can conclude:
Two true conditional statements and
the conclusion of the first is the hypothesis of the second.
You can conclude:
that if the hypothesis of the first occurs, then the conclusion of the second will also occur

6. Law of Syllogism Symbolic form You are given: You can conclude:
pq and qr
You can conclude:
pr
Symbolic form

7. Law of Syllogism Example You are given: You can conclude:
If it rains today, then we will not have a picnic.
If we do not have a picnic, then we will not see our friends.
You can conclude:
If it rains today, then we will not see our friends.
Example