deductive inferenece rules

deductive inferenece rules - s P or r ▲ q or s Absorption...

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

{[ snackBarMessage ]}

Ask a homework question - tutors are online