- #1
stauros
- 35
- 0
Which of the following two definitions is correct:
1) ##\forall x\forall y[ |x|=y\Longleftrightarrow( x\geq 0\Longrightarrow x=y)\wedge(x<0\Longrightarrow x=-y)]##
2) ##\forall x\forall y[ |x|=y\Longleftrightarrow( x\geq 0\Longrightarrow x=y)\vee(x<0\Longrightarrow x=-y)]##
I think the second one
1) ##\forall x\forall y[ |x|=y\Longleftrightarrow( x\geq 0\Longrightarrow x=y)\wedge(x<0\Longrightarrow x=-y)]##
2) ##\forall x\forall y[ |x|=y\Longleftrightarrow( x\geq 0\Longrightarrow x=y)\vee(x<0\Longrightarrow x=-y)]##
I think the second one