Go backward to Generalized Set Quantifier Go up to Top Go forward to Logic Evaluator |
{x+y: 1 <= x <= 3 /\ 0 <= y <= 2}
=
{x+y: x in N /\ y in N /\ 1 <= x <= 3 /\ 0 <= y <= 2}
=
{s: (exists x in N, y in N: s = x+y /\ 1 <= x <= 3 /\ 0 <= y <= 2)}
=
{1+0, 1+1, 1+2, 2+0, 2+1, 2+2, 3+0, 3+1, 3+2}
=
{1, 2, 3, 4, 5}.