This preview shows page 1. Sign up to view the full content.
Unformatted text preview: compound statements. a. ( R ∨ P ) → (( ¬ P ) ↔ R ) b. ( Q → R ) ∨ ( P ∧ (( ¬ Q ) → R )) Exercise 9. Consider the following argument. “ If it’s sunny and I get up early, then I’ll go to the lake. I’ll either stay up late or get up early. If I stay up late, then I’ll be tired. I’m not tired and it’s sunny. Therefore, I’ll go to the lake. ” Assuming that the ﬁrst four statements are true, explain why the conclusion must also be true....
View Full Document
This note was uploaded on 02/29/2012 for the course MATH 3326 taught by Professor Ryandaileda during the Fall '09 term at Trinity University.
- Fall '09