Definición intensional

Definición intensional

Definición intensional

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, una definción intensional del conjunto de los solteros podría ser: todos los x tal que x es un hombre no casado. Ser un hombre no casado es una condición necesaria y suficiente para pertenecer al conjunto de los solteros. Por lo tanto, todo aquello que cumpla con esa condición, pertenece al conjunto de los solteros.

Véase también

Obtenido de "Definici%C3%B3n intensional"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Definición extensional — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • 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

  • Intensión — En lógica, filosofía del lenguaje y otras disciplinas que estudian los signos y el significado,[1] la intensión de una expresión es su significado o connotación, en contraste con la extensión de la misma, que consiste en las entidades a las… …   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

  • 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

  • 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

  • Evidencia (filosofía) — Saltar a navegación, búsqueda Una evidencia (del latín, video, ver) es un conocimiento que se nos aparece intuitivamente de tal manera que podemos afirmar la validez de su contenido, como verdadero, con certeza, sin sombra de duda. Todos tenemos… …   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”