Solutions05

# Solutions05 - Chapter 5 Hints and Selected Solutions...

This preview shows pages 1–2. Sign up to view the full content.

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

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

Unformatted text preview: Chapter 5: Hints and Selected Solutions Section 5.1 (page 131) 5.1 The pattern From P ∨ Q and ¬ P , infer Q is valid. If P ∨ Q is true, then by the truth table for ∨ , at least one of P or Q must be true. But if ¬ P is true, then by the truth table for ¬ , P must be false. Hence, it must be that Q is true. 5.2 The pattern From P ∨ Q and Q , infer ¬ P is not valid. To see an example of how it could lead from true conclusions to false ones, consider the following argument: Washington or Lincoln was president of the U.S. Lincoln was president of the U.S. Washington was not president of the U.S. This argu- ment has true premises and false conclusion, but has the form of the displayed pattern. What makes the form tempting is the fact that peo- ple often read ∨ as exclusive disjunction. Section 5.2 (page 134) 5.7 Here is an informal proof of the following argument: Home ( max ) ∨ Home ( claire ) ¬ Home ( max ) ∨ Happy ( carl ) ¬ Home ( claire ) ∨ Happy ( carl ) Happy ( carl...
View Full Document

## This note was uploaded on 03/25/2009 for the course LOGIC 20034 taught by Professor Dhoe during the Spring '09 term at Hanover.

### Page1 / 3

Solutions05 - Chapter 5 Hints and Selected Solutions...

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

View Full Document
Ask a homework question - tutors are online