L'abstractor porta la variable lligada. Així:

 
que es llegeix «la classe dels x que satisfan la funció proposicional 'ser atleta'», o «la classe dels atletes», o simplement «els atletes».

O bé:

[image]

que es llegeix «la classe dels x que satisfan F», on F és «és atleta».


 


Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.