Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I've got a homework question. I am confused with the two variables $x$ and $y$.

In the domain of integers, consider the following predicates: Let $N(x)$ be the statement "$x \ne 0$." Let $P(x, y)$ be the statement "$xy = 1$."

Translate the following statement into the symbols of predicate logic:

For all integers $x$, there is some integer $y$ such that if $x \ne 0$, then $xy = 1$.

This is what I have, not sure if it's right:

$(\forall x)(\exists y)(N(x) \to P(x,y))$

share|improve this question
    
Looks okay, except the brackets, different books have slightly different notation, modern books have $\forall x \exists y(N(x) \to P(x,y))$ old books have $(x)(\exists y)(N(x) \to P(x,y))$ –  Willemien Sep 9 '13 at 8:33

1 Answer 1

up vote 1 down vote accepted

Yes, that's perfectly correct, cheers.

Note that if you have the signature of unitary rings (i.e., you can use -- among others -- the ring multiplication, the ring zero $0$ and the unity $1$ in formulae) in predicate logic, then you can also simply write it as:

$$(\forall x)(\exists y)(x \ne 0 \to xy = 1)$$

which is more readable than using predicate letters. (But these predicates may be dictated to you by the question, in which case you're best off using them :).)

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.