Definición extensional

Definición extensional

Definición extensional

En lógica y matemática, una definición extensional de un conjunto define el contenido del mismo al dar una lista exhaustiva de todos los elementos que le pertenecen. Por ejemplo, el conjunto de los planetas del sistema solar puede ser definido como: Mercurio, Venus, Tierra, Marte, Júpiter, Saturno, Urano y Neptuno.

Las definiciones extensionales se utilizan cuando listar ejemplos de los miembros de un conjunto provee información más útil que otros tipos de definición, o cuando hacerlo le dice al interesado suficiente sobre la naturaleza de ese conjunto. En cambio, cuando la enumeración de los elementos de un conjunto resulta difícil (por ser muy larga) o imposible (por ser infinita, o por no saber cuáles son los elementos), resulta natural intentar una definición intensional.

La definición extensional guarda similitudes con la definición ostensiva, en la que uno o más de los miembros del conjunto (pero no necesariamente todos) son señalados como ejemplos.

Véase también

Obtenido de "Definici%C3%B3n extensional"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Definición ostensiva — Saltar a navegación, búsqueda Una definición ostensiva refiere el significado de un término señalando ejemplos del entorno. Este tipo de definición se utiliza cuando la definición del término se hace dificultosa, ya sea porque las palabras no van …   Wikipedia Español

  • Definición intensional — Saltar a navegación, búsqueda En lógica y matemática, una definición intensional de un conjunto define el contenido del mismo al dar una lista de condiciones necesarias y suficientes para que un elemento pertenezca a ese conjunto. Por ejemplo,… …   Wikipedia Español

  • Definición — Saltar a navegación, búsqueda Una definición es una proposición que trata de exponer con claridad y exactitud las características específicas y diferenciadoras de algo material o inmaterial. Contenido 1 Definición en sentido clásico 2… …   Wikipedia Español

  • Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… …   Wikipedia Español

  • Fondo y génesis de la teoría de los topos — Saltar a navegación, búsqueda Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá… …   Wikipedia Español

  • Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en …   Wikipedia Español

  • Lógica — (Del lat. logica < gr. logike.) ► sustantivo femenino 1 LÓGICA Ciencia que expone las leyes, argumentaciones y formas que dan validez y consistencia al conocimiento científico. 2 Capacidad para actuar y tomar decisiones de forma acertada: ■ si …   Enciclopedia Universal

  • Nombre — Para los nombres de persona, véase Antroponimia. Para el concepto desde el punto de vista jurídico, véase Nombre (derecho). El nombre es la designación o denominación verbal (las denominaciones no verbales las estudian la iconología y la… …   Wikipedia Español

  • Función — (Del lat. functio, onis.) ► sustantivo femenino 1 BIOLOGÍA Actividad o capacidad de acción específica de un ser vivo y de sus órganos: ■ la función del riñón; la función clorofílica. 2 Desempeño de un cargo u oficio: ■ el vicepresidente desempeña …   Enciclopedia Universal

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”