× Atención!! Los materiales de este libro aún no están optimizados para dispositivos móviles, para una mejor visualización le recomendamos acceder desde un navegador de escritorio.

Material de Libre Acceso.

Glosario - Capítulo 4. Lógica matemática
Diccionario de términos diseñado según se usa en el libro de Matemáticas para la computación de la editorial Alfaomega, ordenado por capítulos y dentro de los capítulos ordenado alfabéticamente. Partiendo del hecho de que documentar las definiciones de términos y acrónimos ayuda a que la información del libro sea más concisa y precisa. Un glosario compartido ayuda a prevenir malos entendidos y hace más fácil la lectura y comprensión del libro. 
 

C

Contingencia:

Una proposición compuesta cuyos valores en sus diferentes líneas de la tabla de verdad, dan como resultado falso y verdadera.

Contradicción:

Una proposición es una contradicción o “absurdo” si al evaluar esa proposición el resultado es falso, para todos los valores de verdad.

Cuantificador existencial:

Símbolo utilizado en matemáticas para indicar que algunos o al menos un elemento de un conjunto cumple con ciertas características o condiciones. Se indica como (f).

Cuantificador universal:

Símbolo que se utiliza en matemáticas para indicar que todos los elementos de un conjunto cumplen con cierta condición. Se indica como (f)

E

Equivalencia lógica:

Se dice que dos proposiciones son lógicamente equivalentes, o simplemente equivalentes, si coinciden sus resultados para los mismos valores de verdad, y se indican como p f q o bien como p f q.

L

Lógica de predicados:

También conocida como lógica de conjuntos se basa en que las proposiciones son conjuntos de elementos que tienen una propiedad o característica llamada “predicado”.

Lógica matemática:

Es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además de que es ampliamente aplicada en filosofía, matemáticas, computación y física.

M

Método deductivo:

Método que permite deducir si un enunciado es falso o verdadero, partiendo de lo general a lo particular. En el caso de lógica matemática se inicia con un teorema integrado por hipótesis y una conclusión.

Método inductivo:

Método que permite demostrar si una proposición es verdadera partiendo de lo particular a lo general. Para que un enunciado se considere verdadero deberá cumplirse el paso básico (k = n = 1) y el paso inductivo (k = n + 1).

O

Operador and:

Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Su símbolo es f.

Operador not:

Con este operador se obtiene el complemento o negación de una proposición. Se indica por medio de los siguientes símbolos: {´,f,-, ~}.

Operador or:

Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se indica pormedio de los siguientes símbolos: {f, +, f}.

Operador x-or:

Con este operador se obtiene un resultado verdadero solamente si una de las proposiciones es cierta, ya que cuando ambas son verdad el resultado es falso. Se indica por medio del símbolo (f).

P

Proposición:

Es una oración, frase o expresión matemática que puede ser falsa o verdadera, pero no ambas a la vez.

Proposición bicondicional:

Esta proposición es verdadera si las dos proposiciones que se conectan con ella son verdaderas o bien si ambas son falsas. Se indica (p fq o bien p f q)

Proposición compuesta:

Es aquella que está integrada por dos o más proposiciones simples conectadas por medio de operadores lógicos.

Proposición condicional:

Está formada por dos proposiciones (p y q) y el resultado es falso, solamente que la primera de ellas sea verdadera y la segunda falsa. Se indica de la siguiente manera (p f q)

R

Regla de inferencia:

Permiten relacionar dos o más proposiciones para obtener una tercera que se considera válida en una demostración.

T

Tabla de verdad:

Herramienta que muestra todos los resultados posibles de una proposición lógica.

Tautología:

Es aquella proposición (compuesta) que es cierta para todos los valores de verdad.