Can anyone Write a C++ code for the following nested quantifier to show its truth value. Domain is all real nos. ∃y∀x(x+y= 0) ?

Question

Problem

Answer 1

Note that there is no way to store and evaluate irrational numbers (as machine code) since all variables have to be represented in a limited byte form. Consider approximation or changing domain (integer or rational)
Statement ∃y∀x(x+y=0) is clearly false ie for any given y there is counter example x≠-y.
Following little program (simulates formal logic) asks you to enter y as integer and then enumerates possible counter examples:
https://code.sololearn.com/cLN1k4o0aq15/?ref=app

Answer 2

Thank u brother pascal.