Diferència entre revisions de la pàgina «Abstractor»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Abstractor |Idioma=Espanyol }...».) |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 27: | Línia 19: | ||
que es llegeix «la classe dels ''x'' que satisfan ''F''», on'' F ''és «és atleta». | que es llegeix «la classe dels ''x'' que satisfan ''F''», on'' F ''és «és atleta». | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 13:04, 5 set 2015
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».