1
$\begingroup$

"the result of additon between two negative integers are negative integers too"

i'm thinking of: x,y,z as negative integers

∀x∀y∃z(x+y=z)

thanks in advance

$\endgroup$
1
  • 1
    $\begingroup$ What you wrote conveys that the sum $x+y$ always exists, but your problem concerns the property of being "negative integers". $\endgroup$
    – hardmath
    Commented Sep 27, 2018 at 5:54

2 Answers 2

3
$\begingroup$

Maybe $$\forall x\forall y(x<0 \wedge y<0\to x+y<0) $$

$\endgroup$
1
$\begingroup$

x,y are integers

$\forall x\forall y((x<0\land y<0)\to (x+y<0)) $

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .