5recitation

5recitation - Introduction to Computers and Programming...

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

View Full Document Right Arrow Icon
2 1 Introduction to Computers and Programming Prof. I. K. Lundqvist Recitation 5 May 13 2004 Logic in proofs Rule of Inference Tautology Name p p q p (p q) Addition p q (p q) p Simplification p p, q (p q) p q Conjunction p q p, p q q (p (p q)) q Modus Ponens ¬ q, p q ¬ p ( ¬ q (p q)) ¬ p Modus Tollens p q, q r p r ((p q) (q r)) (p r) Hypothetical Syllogism p q, ¬ p q ((p q) ¬ p) q Disjunctive Syllogism p q, ¬ p r q r (p q) ( ¬ p r) q r Resolution
Background image of page 1

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

View Full DocumentRight Arrow Icon
3 Rules of Inference p p q p q p p p q p q p 4 Rules of Inference p q will loose p q p q p q •Add i t ion – RedSox will win – RedSox or the Mets will win • Simplification – RedSox will win and The Yankees will not – RedSox will win • Conjunction
Background image of page 2
5 Rules of Inference (R v S) Æ W (R v S) W p Æ q p q 6 Rules of Inference (R v S) Æ W ¬ W ¬ (R v S) p Æ q ¬ q ∴¬ p • Modus Ponens – If it is raining or snowing, the ground is wet – It is raining or snowing – The ground is wet •Modus To l lens
Background image of page 3

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

View Full DocumentRight Arrow Icon
7 Rules of Inference p Æ q q Æ r p Æ q q Æ r p Æ r 8 Rules of Inference p q ¬ p q p q ¬ p q • Hypothetical syllogism
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/28/2012 for the course AERO 16.01 taught by Professor Markdrela during the Fall '05 term at MIT.

Page1 / 10

5recitation - Introduction to Computers and Programming...

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

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