Propositions are not Enough
Our proposition based system of proof is not powerful enough
to do everyday reasoning.
Example:
Predicate Logic
Consider a "typical" mathematical proposition:
All even numb
Proofs
Translate the sentence.
If this course is interesting or I study hard then I will
pass the course or the instructor is bad. If the course
is uninteresting then the instructor is bad. I dont
stu
Formal Proofs
Next we want to write formal proofs in predicate calculus.
Formal Proofs in Predicate Logic
The rules of inference of propositional calculus will be the
basis.
We will add new rules to d
The Problem
We often reason and make arguments in everyday language.
Elementary Logic 1
An arguments consists of a list of propositions (premises)
followed by a proposition (called the conclusion).
Ho