Abstractor
De Wikisofia
La revisió el 10:18, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Abstractor |Idioma=Espanyol }...».)
La revisió el 10:18, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Abstractor |Idioma=Espanyol }...».)
Plantilla:RecursoEnlace Plantilla:Multimèdia
L'abstractor porta la variable lligada. Així,
[math]\displaystyle{ \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]\displaystyle{ \hat{x}(Fx) }[/math]
que es llegeix «la classe dels x que satisfan F», on F és «és atleta». Plantilla:Propietat