Abstracció, operador d'
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
Anomenat també operador de classes o abstractor. És una variable d'individu sobre la qual s'escriu un accent circumflex [math]\displaystyle{ \hat{x} }[/math] que indica l'operació lògica de l'abstracció, o constitució d'un enunciat obert en una classe, i que es llegeix «la classe de tots i només aquells objectes x tals que». Així, «[math]\displaystyle{ \hat{x} }[/math] (x és una persona agradable)» , es llegeix «la classe de les persones agradables»