No se ha añadido ninguna twiki todavía.

Llamado también operador de clases o abstractor. Es una variable de individuo sobre la que se escribe un acento circunflejo [math]\hat{x}[/math] que indica la operación lógica de la abstracción, o constitución de un enunciado abierto en una clase, y que se lee «la clase de todos y sólo aquellos objetos x tales que». Así, «[math]\hat{x}[/math] (x es una persona agradable)» se lee «la clase de las personas agradables»

Comentarios

  1. Todos
  2. Los más valorados

No se ha añadido ningun comentario todavía.

0 entradas — página 1 /1
| Ir a página

No se ha añadido ningun comentario todavía.

0 entradas — página 1 /1
| Ir a página