hw4 - ¬ ∃ x B x is a consequence of ∀ x B x ⇒ ∀ y...

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

View Full Document Right Arrow Icon
CISC 404/604 Homework 4 Due date Thursday May 4, 2010 NO LATE SUBMISSIONS 1. (20 points) Using resolution, prove the following are valid: a. z xP ( x,z,f ( x,z )) ⇒ ∃ z x yP ( x,z,y ) b. x ( P ( x ) Q ( x )) ( xP ( x ) ⇒ ∃ xQ ( x )). 2. (10 points) Using resolution, show that
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ¬ ( ∃ x ) B ( x ) is a consequence of ( ∀ x )( B ( x ) ⇒ ( ∀ y )( S ( x,y ) ⇔ ¬ S ( y,y ))). α ⇔ β is short for ( α ⇒ β ) ∧ ( β ⇒ α )....
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online