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

Ask a homework question - tutors are online