hw06 - Exercise 19 Negate the following statements in a...

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

View Full Document Right Arrow Icon
Intro to Abstract Math Homework 6 Fall 2009 Due September 18 Exercise 16. Negate the following statement in a meaningful way. For every x Q there exists y N so that sin( xy ) = 1 or cos( x + y ) = 1 / 2 . Exercise 17. Consider the following statement: For every real number x , x 2 0 . Carefully explain why the following proof of this statement is invalid. Proof. Suppose not. Then for every real number x , x 2 < 0. In particular, plugging in x = 3 we would get 9 < 0, which is clearly false. This contradiction shows that for every real number x , x 2 0. Exercise 18. What do the following symbolic statements mean? If you assume that the variables involved all belong to N , are they true or false? What if the variables belong to Z instead? a. x y ( x < y ) c. x y ( x < y ) b. y x ( x < y ) d. y x ( x < y
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ) Exercise 19. Negate the following statements in a meaningful way. a. The product of two rational numbers is rational. b. The product of two irrational numbers is irrational. Exercise 20. Determine if each of the statements in the previous problem is true or false, and justify your answer. (Hint: Recall that a statement is false if its negation is true.) Exercise 21. a. Explain why the statements ∀ x ( P ( x ) ∧ Q ( x )) and ( ∀ x ( P ( x ))) ∧ ( ∀ x ( Q ( x ))) should be considered logically equivalent. b. Find an example that shows ∃ x ( P ( x ) ∧ Q ( x )) and ( ∃ x ( P ( x ))) ∧ ( ∃ x ( Q ( x ))) are not logically equivalent....
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.

Ask a homework question - tutors are online