∀x∀y(x + y = y + x) can anyone convert this into c++ program??

Question

Question

Answer 1

x + y = y + x will evaluate true every time. You want a code that takes two ‘quantifiers’ as input and returns either true or false?

Answer 2

Okay please elaborate what your function needs to do?

Answer 3

Thanku for help.
I got this question as a assignment.
This is nested quantifier.
I need to show the truth value?
While the domain for variables x,y consists of all real numbers

Answer 4

But I stucked solving trough code

Answer 5

This expression says that x + y = y + x for all real numbers x and y.
∀ this symbol is used for. (For all). It's symbol of quantifier.

Answer 6

Cheo.
Yes brother