Definición

Demostración

Enviado por jmd el 1 de Febrero de 2009 - 13:48.

Presentación lógica de un argumento mostrando la forma en que ciertas premisas (definiciones, axiomas, y teoremas ya establecidos) implican un cierto resultado. Es decir, mostrando que el resultado es consecuencia necesaria de las premisas.

La demostración está asociada a un teorema o proposición, y se entiende (queda implícito) que es la demostración de alguna afirmación. La demostración es el argumento que exhibe (muestra) que la afirmación es correcta (verdadera).

 
Definición

Connotación

Enviado por jmd el 1 de Febrero de 2009 - 13:46.

Significados secundarios o asociados a un término o expresión, los cuales se añaden a su significado primario dado por su definición formal o literal. Muchos diccionarios registran "intensión" como sinónimo de "connotación" pero la connotación va más allá de la intensión. Ver http://dictionary.reference.com/ (Puede tomarse, en este sentido, como sinónimo de intensión, en una primera aproximación.)

 
Definición

Denotación

Enviado por jmd el 1 de Febrero de 2009 - 13:45.

La clase de objetos particulares a los cuales se refiere un término. Es su significado más directo o específico. Es sinónomo de extensión.

 
Definición

Intensión (de un concepto)

Enviado por jmd el 1 de Febrero de 2009 - 13:44.

La suma de atributos connotados por un término o concepto. Es el contenido interno de un término expresado en su definición formal, en términos de género y especie. Está ligado a connotación y es opuesto a extensión. Muchos diccionarios lo consideran sinónimo de connotación.

 
Definición

Extensión (de un concepto)

Enviado por jmd el 1 de Febrero de 2009 - 13:42.

La clase o conjunto de objetos designados por un término específico o por un concepto. Está ligado a la denotación y es opuesto a intensión.

 
Definición

Bicondicional

Enviado por jmd el 1 de Febrero de 2009 - 13:41.

Una proposición compuesta, de la forma "p si y sólo si q".

 
Definición

Disyunción

Enviado por jmd el 1 de Febrero de 2009 - 13:40.

Operador lógico que resulta en una proposición compuesta de la forma "p o q", donde p y q son proposiciones. Se denota con "pVq" o "pORq".

 
Definición

Conjunción (de proposiciones)

Enviado por jmd el 1 de Febrero de 2009 - 13:37.

Operador lógico de la forma "p y q", donde p y q son proposiciones.

 
Definición

Negación (de una proposición)

Enviado por jmd el 1 de Febrero de 2009 - 13:32.

Es un operador lógico de la forma "no es el caso que" y que transforma una proposición p en otra con valor de verdad contrario.

 
Definición

Proposición condicional

Enviado por jmd el 1 de Febrero de 2009 - 13:31.

Es una proposición compuesta de la forma "si p entonces q" donde p y q son proposiciones. Ejemplo: "si un número entero es impar entonces su cuadrado es impar".

 
Distribuir contenido