deductive inferenece rules

deductive inferenece rules - s) P or r q or s Absorption: p...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Modus Ponens: p q P ▲ Q Modus Tollens: p q Not q ▲ not p Hypothetical Syllogism: p q q r ▲ p q Dysjunctive Syllogism: p or q Not p ▲ q Constructive Dilemma: (p q) and (r
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: s) P or r q or s Absorption: p q p (p and q) Simplification: p and q p Conjunction: p Q p and q Addition: p p or q...
View Full Document

Ask a homework question - tutors are online