07-rules-of-inference

So pa is true and qa is true element a can be any

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

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: (x) Q(x)) is true. If a is in the domain then P(a) Q(a) is true. So, P(a) is true and Q(a) is true. Element a can be any element in the domain. So, x P(x) is true and x Q(x) is true. Thus, x P(x) x Q(x) is true. x P(x) P(a) P(a) x P(x) 21 Rules of inference for quantified statement Argument: There is a fish in the pool. Therefore, some fish c in the pool. x P(x). Therefore, P(c). (c is some member of the domain.) premises true conclusion true x P(x) P(c) Existential instantiation 22 Rules of inference for quantified statement (example) State which rule of inference is applied in the following argument. There is a person in the store. Therefore, some person c is in the store. Solution: Determine individual propositional function P(x): x is in the store. Domain: all people Determine the argument using P(x) x P(x). x P(x) Therefore, P(c). P(c) Domain: all people (c is some element of the domain.) 23 Rules of inference for quantified statement Argument: George is in the pool. Therefore, there is a person in the pool. P(c). The...
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