Lecture11_Handout

Lecture11_Handout - I), assume x P use exists elimination (...

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

View Full Document Right Arrow Icon
Predicate Logic Summary of Additional Proof Strategies for Natural Deduction To show ¬∀ x P use proof by contradiction ( ¬ I), assume x P To show x P use forall introduction ( I) use proof by contradiction ( ¬ I), assume ¬∀ x P use exists elimination ( E) To show ¬∃ x P use proof by contradiction ( ¬ I), assume x P To show x P use exists introduction ( I) use proof by contradiction (
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: I), assume x P use exists elimination ( E) Generally, need to perform quantier elimination using E and E. Usually, the right order is to use E rst (ie, pick a formula of the form x P and eliminate the quantier before picking a formula of the form x P )....
View Full Document

This note was uploaded on 01/19/2010 for the course CS 246 taught by Professor Wormer during the Spring '08 term at Waterloo.

Ask a homework question - tutors are online