quiz2-solution - COT 3100 Discrete Mathematics - Quiz #2 ()...

Info iconThis preview shows page 1. Sign up to view the full content.

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

Unformatted text preview: COT 3100 Discrete Mathematics - Quiz #2 () 1. Use rule of inference to show that if ( true, then ( ( ) ( )) is also true. Step ( 2. () ( )) () 3. () 4. (() 5. 6. 7. 8. 9. 10. 12. () () ( )) and (() ( )) () (() () ( )) Implication using (5) Premise Universal instantiation using (8) () () (() Premise Resolution using (3) and (6) () () Universal instantiation using (1) Universal instantiation using (4) () () Premise Implication using (2) () () 11. ( ) (() Reason () 1. ( )) Implication using (9) Resolution using (7) and (10) ( )) Universal generalization using (11) 2. Given x + y is irrational and x + z is rational, prove or disprove the following statements: a) y - z is irrational. b) y + z is irrational. a) Proof: Suppose y-z is rational. Then y-z for some integer a and b. Since x+z is rational, x+z= for some integer c and d. Thus x+y=(y-z)+(x+z)= . Hence x+y is rational contradicting the given fact. b) y+z can be rational or irrational. Rational example: x=√ , y=√ , z= √ . Then x+y= √ , x + z=0, y+z=0. ( )) are Irrational example: x=√ , y= √ , z= √ . Then x+y= √ , x + z=0, y+z=√ . Therefore, y + z can be either rational or irrational 3. If ( the statement. ) is true, does it necessarily follow that This statement is false. Because there may not be a letting all For example P(x,y,z)={ , for real number x, y, z}. ( works for ( ) is true? Prove or disprove ) ...
View Full Document

This note was uploaded on 01/22/2012 for the course COT 3100 taught by Professor Staff during the Spring '08 term at University of Florida.

Ask a homework question - tutors are online