16 Inference Rules

16 Inference Rules - ⊥ S ¬ P P2 … S S ⊥ Intro ⊥...

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