Lógica matemàtica

[∃y][ f(y) ] <==> [∃A][∃x][ x€A & f(x) ]
[∀y][ f(y) ] <==> [∃A][∀x][ x€A ==> f(x) ]


Es defineish un A = {y}
Sigui x = y ==>
x€{y}
f(x)


[∃u][∃v][ f(u,v) ] <==> [∃A][∃x][∃y][ x,y€A & f(x,y) ]
[∀u][∀v][ f(u,v) ] <==> [∃A][∀x][∀y][ x,y€A ==> f(x,y) ]


Es defineish un A = {u,v}
Sigui x = u & y = v ==>
x,y€{u,v}
f(x,y)