lecture6 - Lecture 6 Introduction to Proofs Announcements...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture 6 Introduction to Proofs
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Announcements Hw2 out today Due Feb 12 Quiz 1 on Friday
Background image of page 2
Summary: Rules of Inference Modus ponens p p q q Modus tollens q p q p Hypothetical syllogism p q q r p r Disjunctive syllogism p q p q Addition p p q Simplification p q p Conjunction p q p q Resolution p q p r q r
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Recap Rules of Inference With or without quantifiers A solid understanding of these is crucial for the rest of the course Therefore please reinforce what we have covered so far Practice, practice, practice…
Background image of page 4
General Proofs In addition to the given hypotheses, we use: axioms, previously proven theorems Instead of formal logic, general proofs are often stated in English Often multiple steps of reasoning are merged into one We will need all of our previous math knowledge and ammunition we developed so far
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Some basic math background Even integer, Odd integer Rational number, irrational number
Background image of page 6
Direct Proofs Strategy: Given a conditional statement
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/21/2011 for the course CSCI 2011 taught by Professor Staff during the Spring '08 term at Minnesota.

Page1 / 18

lecture6 - Lecture 6 Introduction to Proofs Announcements...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online