La lgica matemtica es un subcampo de la lgica y las matemticas.

Consiste en el
estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las
matemticas. La lgica matemtica guarda estrechas conexiones con la ciencias de la
computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que
codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros,
demostraciones y computacin.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas.
La lgica matemtica fue tambin llamada lgica simblica. El primer trmino todava se
utiliza como sinnimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la
teora de la demostracin.
La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la
lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente.
Ciertamente usamos en forma constante el razonamiento lgico para realizar cualquier
actividad. Toda estructura matemtica necesita tener un razonamiento vlido a travs de
un lenguaje que sea de uso universal.
PROPOSICIONES.
Es una expresin con sentido en algn lenguaje que afirma o niega algo y que nos
proporciona informacin.
Las proposiciones se denotan con la letras :p ; q, r .etc..
Ejemplo 1:
p: El pizarrn es verde
q: 2 + 3 = 7
r: A ella le gusta la msica
Si observa las proposiciones, pueden ser Verdaderas o Falsas, no aceptan
ambigedades.
No son proposiciones:
a) el interruptor
b) 2x + 3 = 6
c) Qu hora es ?
Estos enunciados no son proposiciones porque no tienen sentido, no afirman ni niegan.
Las proposiciones pueden ser simples o compuestas. Son proposiciones simples las que
se dan
en el ejemplo 1.
Son aquella proposiciones compuestas que se unen mediante smbolos llamados
Conectivos.
OPERADORES LOGICOS

Los Operadores Lgicos son utilizados por la lgica proposicional para admitir o rechazar
proposiciones. En programacin de ordenadores se utilizan para combinar valores lgicos
(Verdadero/Falso) y obtener nuevos valores lgicos que determinen el flujo de control de
un algoritmo o programa.
T : tautologa
: negacin alternativa, incompatibilidad, no ambos, exclusin, "NAND"
: condicional, implicacin (simple), "IMP"
~ : negacin, "NOT"
: implicacin inversa
: bicondicional, implicacin doble, equivalencia, "EQV", "XNOR"
: negacin conjunta, "NOR"
: disyuncin, "", "OR"
: disyuncin exclusiva, contravalencia, "XOR"
: negacin del condicional inverso
: negacin del condicional
: conjuncin, "Y", "AND"
F : contradiccin
USO DE PARENTESIS
El uso de parntesis es un smbolo que forma parte de la lgica secuencial, el uso de
ellos es
lgico y no retrico, sin los parntesis las frmulas o expresiones lgicas pueden carecer
de sentido.
VERDAD
En lgica, una proposicin es toda aquella afirmacin a la que se le puede asignar un
grado de certeza. Al ser procesada por las facultades racionales, ejecutadas por las
facultades fsicas y puestas a prueba segn al criterio de la persona, esta puede tomar un
valor verdadero o falso (vase valor de verdad). As podremos tener proposiciones
certeramente falsas y/o certeramente verdaderas, dependiendo de las conclusiones a las
cuales nos encaminen las facultades racionales de nuestra mente y/o las herramientas
fabricadas para tal fin, tales como ordenadores, bacos o cualquier otro instrumento afn
al modelo lgico/racional aceptado.
VALOR DE VERDAD
Es una funcin que define una proposicin. El valor de verdad puede ser Verdadero (V) o
Falso (F).
TABLAS DE VALORES DE VERDAD
La tabla de valores de verdad, tambin conocida como tabla de verdad, es una
herramienta desarrollada por Charles Peirce en los aos 1880, siendo sin embargo ms
popular el formato que Ludwig Wittgenstein desarroll en su Tractatus logicophilosophicus, publicado en 1921.
Se emplean en lgica para determinar los posibles valores de verdad de una expresin o
proposicin molecular. O si un esquema de inferencia, como argumento, es formalmente
vlido mostrando que, efectivamente, es una tautologa.

Las tablas de verdad nos manifiestan los posibles valores de verdad de cualquier
proposicin molecular, as como el anlisis de la misma en funcin de las proposicones
que la integran, encontrndonos con los siguientes casos:
FUNCIONES DE VERDAD
Negacin (),(~)
Consiste en cambiar el valor de verdad de una variable proposicional.
A
VF
FV
Conjuncin
La proposicin molecular ser verdadera slo cuando ambas variables proposicionales
sean verdaderas.(Columna 8 de la tabla de funciones posibles)
AB
VVV
VFF
FVF
FFF
Disyuncin
La proposicin molecular ser verdadera cuando una o ambas variables proposicionales
sean verdaderas.(Columna 2 de la tabla de funciones posibles)
AB
VVV
VFV
FVV
FFF
Condicional ()
La proposicin molecular ser verdadera cuando se cumpla si es verdadero A entonces lo
es B. (Columna 5 de la tabla de funciones posibles)
AB
VVV
VFF
FVV
FFV
Bicondicional (, si y slo si)
La proposicin molecular ser verdadera cuando ambas variables proposicionales tengan
a la vez el mismo valor de verdad. (Columna 7 de la tabla de funciones posibles)
AB
VVV
VFF
FVF
FFV
Disyuncin exclusiva

La proposicin molecular ser verdadera slo cuando una de las dos variables
proposicionales sea verdadera, pero no las dos. (Columna 10 de la tabla de posibles
valores)
AB
VVF
VFV
FVV
FFF
CUANTIFICADORES
En Teora de conjuntos, un cuantificador se utiliza para indicar cuntos elementos de un
conjunto dado cumplen con cierta propiedad. Existen tres tipos de cuantificadores, cuyas
caractersticas resumimos en la siguiente tabla:
Cuantificador universal

Para todo x, y...

Cuantificador existencial

Existe/n por lo menos un/os x, y...

Cuantificador existencial nico

Existe un nico x, y...

Negacin del cuantificador existencial

No existe ningn x, y...

VERDAD INDETERMINADA O CONTINGENCIA
Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede
ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso:
A /\ (B \/ C).
Su tabla de verdad se construye de la siguiente manera:
Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de
cada una de las proposiciones A, B, C. (Columnas 1, 2, 3)
Una columna (Columna 4) en la que se establecen los valores de B \/ C aplicando la
definicin del disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3
4)
Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la
definicin de la conjuncin entre los valores de A (columna 1) y valores de la columna B \/
C, (columna 4) que representarn los valores de la proposicin completa A /\ (B \/ C), cuyo
valor de verdad es V o F segn la fila de los valores de A, B, y C que consideremos.
(Columnas 1,4 5)
123 45
A B C B\/C A/\(B\/C)
VVVVV
VVFVV
VFVVV
VFFFF
FVVVF

FVFVF
FFVVF
FFFFF
Donde podemos comprobar cundo y por qu la proposicin A/\(B\/C) es V y cundo es F
CONTRADICCIN
Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en
todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma,
su valor F no depende de los valores de verdad de las proposiciones que la forman, sino
de la forma en que estn establecidas las relaciones de unas con otras. Sea el caso:
[(A/\B)/\(A\/B)]/\C
Procederemos de manera similar al caso anterior. Aplicamos (Columna 4) la definicin de
conjuntor a los valores de A y B.(columnas 1,2 4) Despus aplicamos la definicin de
disyuntor a los valores de A y B. (columnas 1,2 5) Aplicamos en la columna siguiente
(Columna 6) el negador a los valores de la columna anterior. Aplicamos el conjuntor a los
valores de la columna (A/\B)(Columna 4) con los de la columna (A\/B).(Columna 6) Por
ltimo (Columna 8) aplicamos el conjuntor a los valores de la columna de C (Columna 3)
con la columna ltima (Columna 7)cuyo resultado nos da los valores de
[(A/\B)/\(A\/B)]/\C, siempre falsos cualquiera que sea la fila que consideremos.
12345678
A B C A/\B A\/B (A\/B) (A/\B)/\(A\/B) [(A/\B)/\(A\/B)]/\C
VVVVVFFF
VVFVVFFF
VFVFVFFF
VFFFVFFF
FVVFVFFF
FVFFVFFF
FFVFFVFF
FFFFFVFF
TAUTOLOGAS
Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los
casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor
V no depende de los valores de verdad de las proposiciones que la forman, sino de la
forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:
[(AB)/\(BC)] (AC)
Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad:
A B C AB BC (AB)/\(BC) (AC) [(AB)/\(BC)] (AC)
VVVVVVVV
VVFVFFFV
VFVFVFVV
VFFFVFFV
FVVVVVVV
FVFVFFVV
FFVVVVVV
FFFVVVVV

PROPIEDADES DEL ALGEBRA PROPOSICIONAL

Como ya se dijo, aquellas frmulas lgicas que resultan ser siempre verdaderas no
importa la combinacin de los valores veritativos de sus componentes, son tautologas o
leyes lgicas. En el clculo proposicional existen algunas tautologas especialmente tiles
cuya demostracin se reduce a la confeccin de su correspondiente tabla de verdad, a
saber:
1. Ley de idempotencia
a) p p p
b) p p p
2. Ley conmutativa
a) p q q p
b) p q q p
c) p q q p
3. Ley Asociativa
a) (p q) r p (q r)
b) (p q) r p (q r)
4. Ley Distributiva
a) (p q) r (p r) (q r)
b) (p q) r (p r) (q r)
5. Ley de De Morgan
a) ~(p q) ~p ~q
b) ~(p q) ~p ~q
c) p q ~(~p ~q)
d) p q ~(~p ~q)
6. Leyes de la implicacin
a) p q ~q ~p
b) p q ~(p ~q)
c) p q ~p q
d) p (p q) p q
7. Principio de contradiccin
a) p ~p F (falacia)
8. Principio de no contradiccin
(Ley de medio excluido)
a) p ~p V (verdad)
9. Negacin de la negacin o involucin
a) ~~p p
10. Leyes de identidad
a) p F p
b) p V V
c) p V p
d) p F F
b y d se conocen tambin como leyes de dominacin.
11. Equivalencia
a) p q (p q) (q p)
12. Ley de Exportacin
a) (p q) r p (q r)

13. Reduccin al absurdo

a) p q (p ~q) V
14. Ley de absorcin
a) p (p q) p
b) p (p q) p
EJERCICIOS:
1. Demostrar que (p q) ~p = ~p q
Para solucionar esta demostracin se partir de la expresin de la izquierda:
(p q) ~p
Aplicando la ley Distributiva
(p ~p) (q ~p)
Ley de Contradiccin
F (q ~p)
Ley de Identidad
(q ~p)
Ley Conmutativa
~p q
2. Demostrar que p (q r) = (p ~r) ~q
Entonces:
p (q r)
Ley de Implicacin
~p (~q r)
Ley Conmutativa
(~p r) ~q
Ley de De Morgan
~(p ~r) ~q
Ley de Implicacin
(p ~r) ~q
3. Demostrar que p q = (p ~q) (q ~p)
Entonces:
pq
Ley de Equivalencia
(p ~q) (q ~p)
Ley de Implicacin
(~p q ) (~q p)
Ley Conmutativa
(q ~p) (p ~q)
Ley Conmutativa
(p ~q) (q ~p)
4. Determine por las leyes proposicionales si la siguiente proposicin es una tautologa,
una falacia o una indeterminacin: (p q) ~(p q).
Ley de De Morgan
(p q) (~p ~q)
Ley Distributiva
(p q ~p) (p q ~q)
Ley de Contradiccin

(F q) (p F)
Ley de Contradiccin
FF
De acuerdo a la tabla de la disyuncin se tiene que la proposicin sera falsa, por lo tanto
es una falacia.