07-rules-of-inference

# premises true conclusion true pc x px existential

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

This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: refore, x P(x). (c is a particular member of the domain.) premises true conclusion true P(c) x P(x) Existential generalization 24 Rules of inference for quantified statement (example) State which rule of inference is applied in the following argument. His dog is playing in the park. Therefore, There is a dog playing in the park. Solution: Determine individual propositional function P(x): x is playing in the park. Domain: all dogs Determine the argument using P(x) P(his dog). P(c) Therefore, x P(x). x P(x) Domain: all dogs 25 Rules of inference for quantified statement (example) Show if x (P(x) Q(x)) is true, then x P(x) true. (using direct technique) Solution: Assume x (P(x) Q(x)) is true. Let a be some element of the domain, that P(a) Q(a) is true. So, P(a) is true and Q(a) is true. So, x P(x) is true and x Q(x) is true. Thus, x P(x) x Q(x) is true x Q(x) is x P(x) P(c) P(a) x P(x) 26 Rules of inference (example) Show the following argument is valid. Every one in this class has taken a course in co...
View Full Document

## This note was uploaded on 01/13/2014 for the course CSE 1019 taught by Professor Shafiei during the Summer '09 term at York University.

Ask a homework question - tutors are online