Mostra la font per a Abstractor

{{RecursWiki
|Tipus=Exemple
}}
{{RecursoEnlace
|Enllaç=
}}
{{Multimèdia
|Upload Type=
|File=
|Embed=
}}
{{RecursBase
|Nom=Abstractor
|Idioma=Espanyol
}}
{{Exemple}}

L'abstractor porta la variable lligada. Així,

<math>\hat{x}</math> (x és atleta)

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é,

<math>\hat{x}(Fx)</math>

que es llegeix «la classe dels ''x'' que satisfan ''F''», on'' F ''és «és atleta».
{{Propietat
|Propi=No
|Allow=No
|Accept=No
}}
{{InfoWiki}}