hwk2 - CSE 2315 - Discrete Structures Homework 2: Predicate...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE 2315 - Discrete Structures Homework 2: Predicate Calculus and Proof Techniques CSE 2315 - Discrete Structures Homework 2- Fall 2010 Due Date: Oct. 7 2010, 3:30 pm Proofs using Predicate Logic For all your predicate logic proofs you can use only the rules given in the following tables. In addition you are allowed to apply the deduction method and to use the method of temporary hypotheses. All other rules have to be proven first. Equivalence Rules Rule Name Expression Equivalent Expression Commutativity (comm) P Q Q P P Q Q P Associativity (ass) ( P Q ) R P ( Q R ) ( P Q ) R P ( Q R ) Distributivity (dis) ( P Q ) R ( P R ) ( Q R ) ( P Q ) R ( P R ) ( Q R ) De Morgan’s Laws (De Morgan) ( P Q ) P Q ( P Q ) P Q Implication (imp) P Q P Q Double negation (dn) ( P ) P Self-reference (self) P P P Negation (neg) ( x ) P ( x ) ( x ) P ( x ) 2010 Manfred Huber Page 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
CSE 2315 - Discrete Structures Homework 2: Predicate Calculus and Proof Techniques Inference Rules Rule Name From Can Derive Conjunction (con) P , Q P Q Simplification (sim) P Q P , Q Modus ponens (mp) P , P Q Q Modus tollens (mt) P Q , Q P Addition (add) P P Q Universal instantiation (ui) ( x ) P ( x ) P ( y ) ( Be careful with the rule’s restrictions) ( x ) P ( x ) P ( a ) Existential Instantiation (ei) ( x ) P ( x ) P ( y ) ( Be careful with the rule’s restrictions) ( x ) P ( x ) P ( a ) Universal generalization (ug) P ( x ) ( x ) P ( x ) ( Be careful with the rule’s restrictions) Existential generalization (eg) P ( x ) ( x ) P ( x ) ( Be careful with the rule’s restrictions) P ( a ) ( x ) P ( x ) For all proofs the steps have to be annotated such as to indicate the rule and which elements of the proof sequence it was applied to. 1. For each instantiation and generalization step in the following proof sequences indicate if it is legal. You have to justify your decision (a short justification is sufficient). a)
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 6

hwk2 - CSE 2315 - Discrete Structures Homework 2: Predicate...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online