previous up next
Go backward to Generalized Set Quantifier
Go up to Top
Go forward to Logic Evaluator
RISC-Linz logo

Example

{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}.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next