Solve Predicate Logic Homework Equations

[.~!@#]

Homework Statement

1) (∀xεℝ)((x≠0)→((∃yεℝ)(xy=1)

2) (∃yεℝ)(∀xεℝ)((x≠0)→(xy=1))

Homework Equations

∃ - there exists
∀ - for all
→ implication

The Attempt at a Solution

The brackets and implication are throwing me for a loop

1) for all real numbers, there exist another real number such that their product is 1. TRUE

2) There exists a real number y, such that any real number and y will have a product of 1. False.

?

 

[SammyS]

Homework Statement

1) (∀xεℝ)((x≠0)→((∃yεℝ)(xy=1)

2) (∃yεℝ)(∀xεℝ)((x≠0)→(xy=1))

Homework Equations

∃ - there exists
∀ - for all
→ implication

The Attempt at a Solution

The brackets and implication are throwing me for a loop

1) for all real numbers, there exist another real number such that their product is 1. TRUE

2) There exists a real number y, such that any real number and y will have a product of 1. False.

?

Hello .~!@# !

What's the question?

Do you want to know if your answers are correct, or do you want your translation into English checked ? ... or what??

 

[.~!@#]

both