hw1-na - Homework 1, (carries no grade - solutions will be...

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

View Full Document Right Arrow Icon

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

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

Unformatted text preview: Homework 1, (carries no grade - solutions will be posted in 1 week) 1. (i) Convert the following into logical notation using suggested vari- ables. Then provide a formal proof. If (l)I study law, then (m)I will make a lot of money. If (a)I study archaeology, then (t)I will travel a lot. If I make money or travel a lot, then I will not be disappointed. Therefore, If I am disappointed, then I did not study law and I did not study archaeology. Example: Either (p)Pat did it, or (q)Quincy did it. Quincy could not (r)have been reading and done it. Quincy was reading. Therefore Pat did it. Solution: axioms: p q, ( r q ) , r. need to prove: p proof: ( r q )(given) ( r q )(1). ( r q )(1) r (given) ( r r )( ) ( q r ) q r q (2). ( p q )(given) q (2) ( p q ) ( q q )( ) ( p q ) p. (ii) Can you prove, using the above axioms, that if I am disappointed, then I studied mathematics? Answer yes or no, and explain why.then I studied mathematics?...
View Full Document

Page1 / 2

hw1-na - Homework 1, (carries no grade - solutions will be...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online