Lógica matemática. Es la disciplina que trata de métodos de razonamiento.

En un nivel
elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un
argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar
teoremas; en ciencias de la computación para verificar si son o no correctos los
programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y
en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier
actividad.
PROPOSICIÓN

La proposición o aseveración es el significado de una idea, enunciado, conjunto de

palabras o letras a las que se les puede asignar uno y sólo uno de los valores de verdad,
que pueden ser: VERDADERO (V) o FALSO (F)

Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la
letra p, es decir, p, q, r, s, t,... etc. Así, por ejemplo, podemos citar las siguientes
proposiciones y su valor de verdad.
NOTACIÓN
La matemática se apoya en un lenguaje simbólico formal que sigue una serie de
convenciones propias. Los símbolos representan un concepto, una operación, una entidad
matemática según ciertas reglas. Estos símbolos no deben considerar se abreviaturas, sino
entidades con valor propio y autónomo.

VALOR DE VERDAD
Con respecto a una emisión constatativa, es la característica de ser verdadero o falso y a
veces representados por pares como (1,0)
TABLA DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de
verdad de una proposición compuesta, para cada combinación de verdad que se pueda
asignar.

NEGACIÓN
La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor
contradictorio de la proposición considerada.

CONJUNCION

La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera
cuando ambas son verdaderas.

En términos más simples, será verdadera cuando las dos proposiciones son verdaderas.

DISYUNCIÓN

La disyunción es un operador lógico que actúa sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero
cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando
ambas son falsas.

En términos más simples, será verdadera cuando por lo menos una de las proposiciones es
verdadera de lo contrario será falsa.

CONDICIONAL

Viene a ser con “si… entonces la combinación de dos proposiciones”.

Se lee si p entonces q.

REGLA.- Una proposición condicional es falsa cuando la primera proposición es verdadera

y la segunda es falsa. Es verdadera en cualquiera de las otras formas

BICONDICIONAL

Es la unión de dos proposiciones por “si y sólo si”. Se lee p si y sólo si q.

REGLA.- Una proposición bicondicional es verdadera cuando, o sus dos componentes son
verdaderos o sus dos componentes son falsos.