Está comparando dos ediciones. La más antigua a la izquierda y la más reciente a la derecha.
Ir a la versión actual.
Las nuevas contribuciones te aparecerán en rojo, en la columna de la derecha. Desde éstas podrás ver las diferencias con el texto anterior.
m (Uploading bot) |
(Introducción de fórmula lógica mediante LaTeX) |
||
| Línea 1: | Línea 1: | ||
{{ConceptoWiki}} | {{ConceptoWiki}} | ||
| − | Llamado también operador de [[clase (lógica)|clases]] o abstractor. Es una variable de individuo sobre la que se escribe un acento circunflejo | + | Llamado también operador de [[clase (lógica)|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|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» |
| − | + | {{ImagenPrincipal}} | |
| − | que indica la operación lógica de la [[abstracción|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í, | + | {{Etiqueta |
| − | {{Etiqueta|Etiqueta=Lógica}}{{InfoWiki}} | + | |Etiqueta=Lógica |
| + | }} | ||
| + | {{InfoWiki}} | ||
Última revisión de 22:55 13 mar 2014
¿Qué es?
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»