Logicmedium
0:00.0

What is the truth value of the statement (xZ)(x+5=2x>0)(\exists x \in \mathbb{Z})(x + 5 = 2 \land x > 0)?