Professional Documents
Culture Documents
Lecture 6
Lecture 6
Lecture 6
)
Goals and Objectives:
Understand rules of inference
Methods of Proof
Definition. Axioms or postulates are accepted assumptions about
mathematical structures.
All arguments following the rules of inference are valid. That is, the
proof of a theorem is valid using rules of inference.
Example.
Show the following hypotheses will lead to the conclusion.
Hypotheses:
(i) It is not sunny this afternoon and it is colder than yesterday.
(ii) We will go swimming only if it is sunny.
(iii) If we do not go swimming, then we will take a canoe trip.
(iv) If we take a canoe trip, then we will be home by sunset.
Conclusion:
We will be home by sunset.
Notation:
s: It is sunny this afternoon.
c: It is colder than yesterday.
g: We will go swimming.
t: We will take a canoe trip.
h: We will be home by sunset.
Proof: