16 Inference Rules

16 Inference Rules - S P P2 S S Intro Elim Intro Elim P P P...

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

View Full Document Right Arrow Icon
Handout #16 CS103A January 28, 2008 Robert Plummer Inference Rules = Elim = Intro Elim Intro P(n) P1 P2 P1 a = a n = m P 1 P 2 P 2 P ( m ) P 1 P2 Intro Elim ¬ Elim ¬ Intro P P1 P2 ¬¬ P P P1 P P Q
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 P2 S S Intro Elim Intro Elim P P P Q (or Q P) P P Q P Q Q P P Q Intro Elim P Q P P Q Q P Q...
View Full Document

Ask a homework question - tutors are online