CS 2336 Discrete Mathematics
[Pages:21]CS 2336 Discrete Mathematics
Lecture 3
Logic: Rules of Inference
1
Outline
? Mathematical Argument ? Rules of Inference
2
Argument
? In mathematics, an argument is a sequence of propositions (called premises) followed by a proposition (called conclusion)
? A valid argument is one that, if all its premises are true, then the conclusion is true
? Ex: "If it rains, I drive to school." "It rains." \ "I drive to school."
3
Valid Argument Form
? In the previous example, the argument belongs to the following form: p ?q p \q
? Indeed, the above form is valid no matter what propositions are substituted to the variables
? This is called a valid argument form
4
Valid Argument Form
? By definition, if a valid argument form consists ? premises: p1, p2, ... , pk ? conclusion: q then ( p1 ? p2 ? ... ? pk ) ? q is a tautology
? Ex: ( ( p ? q ) ? p ) ? q is a tautology
? Some simple valid argument forms, called rules of inference, are derived and can be used to construct complicated argument form
5
Rules of Inference
1. Modus Ponens (method of affirming) premises: p, p ? q conclusion: q
2. Modus Tollens (method of denying) premises: ? q, p ? q conclusion: ? p
6
Rules of Inference
3. Hypothetical Syllogism premises: p ? q, q ? r conclusion: p ? r
4. Disjunctive Syllogism premises: ? p, p ? q conclusion: q
7
Rules of Inference
5. Addition premises: p conclusion: p ? q
6. Simplification premises: p ? q conclusion: p
8
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.
Related download
- entailments stanford university
- explicit information making inferences study guide
- warranted inferences
- rules of inference duke university
- effective teaching of inference skills for reading
- cs 2336 discrete mathematics
- math 213 logical equivalences rules of inference and
- draw conclusions make logical judgments about the
- reference list of literary terms for middle school students
- pages from
Related searches
- cs ny employee benefits nyship
- 7 cs of communication ppt
- cs ny gov employee benefits
- 7 cs of effective communication
- the 7 cs of communication
- cs phd salary
- discrete mathematics symbols meaning
- discrete mathematics symbols
- seven cs of communication
- project ideas for cs students
- discrete mathematics answer key
- oxford cs philosophy