Write this statement using the logical symbols

[WannaBe]

every integer is a product of two integers.

My Solution:

∀ n,o,p E Z, n = o*p E Z

Is this correct?

 

[Klaas van Aarsen]

every integer is a product of two integers.

My Solution:

∀ n,o,p E Z, n = o*p E Z

Is this correct?

Hi WannaBe, welcome to MHB!

Let's see...

Your solution reads in English:

for all integers n, o, p holds that n is equal to o times p, which is an integer.​

Suppose we pick n=2, o=2, p=2, which satisfies the condition that they are integers.
Can we say that n = o * p?