Symbolic representation question

[zeion]

Homework Statement

Hi,

This is a question from a logic course, not sure if I'm doing it right.

Consider the following predicates:

MP(x) : x is a Mersenne prime
Prime(x) : x is Prime

Using the above predicates, provide an equivalent symbolic statement for the statement below:

1) A natural number n is a Mersenne prime if and only if n is a prime number that can be written in the form 2^k - 1 for some positive integer k.

Homework Equations

The Attempt at a Solution

$$\forall n \in N, MP(x) \Leftrightarrow \exists k \in Z, k > 1 : 2^k - 1= x \wedge Prime (x)$$

 

[KataKoniK]

Your solution is correct! You have correctly translated the statement into symbolic logic using the predicates given. Keep in mind that in symbolic logic, we use the symbol \forall to represent "for all" and the symbol \exists to represent "there exists." Also, the symbol \wedge represents "and." Great job!