# sole1 - ANALYSIS EXERCISE 1SOLUTIONS 1(a Let B The main...

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

ANALYSIS EXERCISE 1–SOLUTIONS 1. (a) Let B The main course will be beef. F The main course will be ﬁsh. P The vegetable will be peas. C The vegetable will be corn. The logical form of the argument is B F P C ¬ ( F C ) ¬ ( B P ) The premises are B F , P C , ¬ ( F C ); the conclusion is ¬ ( B P ). The argument is invalid. If B P is true, then the premises are true, but the conclusion is false. It might help to consider the possibilities ( B P , etc.). (b) Let S Sales will go up. H The boss will be happy. E Expenses will go up. The logical form of the argument is ( S H ) ( E ∧ ¬ H ) ¬ ( S E ) The premise is ( S H ) ( E ∧ ¬ H ); the conclusion is ¬ ( S E ). The argument is invalid. Suppose S E H . Then the premise is valid and the conclusion false. 2. (a) P Q P + Q T T F T F T F T T F F F (b) ( P ∧ ¬ Q ) ( ¬ P Q ). 3. ¬ ( ¬ P Q ), for example. 4. (b), (c), (d). 5. (a) A B C ¬ C B ∨ ¬ C A ( B ∨ ¬ C ) T T T F T T T T F T T T T F T F F F T F F T T T F T T F T F F T F T T F F F T F F F F F F T T F 1

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

View Full Document
2 ANALYSIS EXERCISE 1–SOLUTIONS (b) A B ¬ A ¬ B A B ¬ A ∨ ¬ B ( A B ) ( ¬ A ∨ ¬ B ) T T F F T F F T F F T T T T F T T F T T T F F T T F T F 6. (a) [( A B ) ( B C )] ( A C ) . Let us prove that this is a law by constructing its truth table. (Denote by
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 02/25/2010 for the course MATHEMATIC 11007 taught by Professor Spyros during the Winter '10 term at Bristol Community College.

### Page1 / 5

sole1 - ANALYSIS EXERCISE 1SOLUTIONS 1(a Let B The main...

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

View Full Document
Ask a homework question - tutors are online