RulesInf - Rules of Inference: Tables 1 on Page 66 Rule of...

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

View Full Document Right Arrow Icon
Rules of Inference: Tables 1 on Page 66 Rule of Inference Tautology Example Modus ponens p p q q [ p ( p q )] q You are bored in class. If you are bored then you fall asleep. Therefore , you fall asleep in class. Modus tollens p q ¬ q ¬ p [ ¬ q ( p q )] → ¬ p If you are bored then you fall asleep. You do not fall asleep in class. Therefore , you are not bored in class. Hypothetical syllogism p q q r p r [( p q ) ( q r )] ( p r ) If I stay up all night then I am tired. If I am tired then I need to take a nap. Therefore , if I stay up all night then I need to take a nap. Disjunctive syllogism p q ¬ p q [( p q ) ∧ ¬ p ] q You are a male or a female. You are not a male. Therefore , you are a female. Addition p p q p ( p q ) You are a boy. Therefore , you are either a boy or a girl. Simplication
Background image of page 1

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

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

This note was uploaded on 04/06/2010 for the course LAPS MATH 1190 taught by Professor Adachan during the Spring '10 term at York University.

Page1 / 4

RulesInf - Rules of Inference: Tables 1 on Page 66 Rule of...

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

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