07-rules-of-inference

# Therefore it is not sunny today p q q therefore p p q

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: nny today, then I go swimming today. I do not go swimming today. Therefore, it is not sunny today. p q. ¬q. Therefore, ¬p. p q ¬q ¬p ((p q) premises true conclusion true ¬q) ¬p Tautology 15 Rules of inference (example) State which rule of inference is applied in the following argument. If today is sunny, then she goes shopping. She does not go shopping. Therefore, today is not sunny. Solution: Determine individual propositions p: today is sunny. q: she goes shopping. Determine the argument using p and q p q p q. ¬q ¬q. Therefore, ¬p. ¬p 16 Rules of inference for quantified statement Argument: All women are wise. Therefore, Lisa is wise. x P(x). Therefore, P(c). (c is a particular member of the domain.) premises true conclusion true x P(x) P(c) Universal instantiation 17 Rules of inference for quantified statement (example) State which rule of inference is applied in the following argument. All dogs are cute. Therefore, his dog is cute. Solution: Determine individual propositional function P(x...
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