Captulo

Lgica Matemtica
2.1. Lgica Proposicional
Definicin. Una proposicin es un enunciado del cual se puede decir
que es verdadero o falso, pero no ambas cosas simultneamente. No es
necesario saber de antemano s es verdadero o falso, lo nico es que
tenga uno slo de esos valores.
Ejemplos. Los siguientes enunciados son ejemplos de proposiciones
p: 2 + 2 6= 4.
q: El jugador est en la casilla [2, 2].
r: El universo es innito.
Ejemplos. Los siguientes enunciados son ejemplos que no son proposiciones
No te vayas!.
Vamos maana a cine?.
El lindo perro que corre velozmente por la pradera persiguiendo
la pelota.
No te aprendas la tablas de memoria.

2.1.1. Lenguaje
En la lgica proposicional, el lxico esta denido por tres elementos:
las letras proposicionales, los conectivos lgicos y los parntesis.
5

CAPTULO 2. LGICA MATEMTICA

Definicin. El lxico de la lgica proposicional se compone de tres

tipos de lexemas:
smbolos y/o letras proposicionales: , , p, q, r, s, p0 , p1 , . . .
conectivos lgicos: , , , ,
smbolos auxiliares: (, )
Las letras proposicionales son usadas para representar proposiciones,
por lo tanto el signicado de una letra proposicional es el signicado que
tiene la proposicin que dicha letra representa. El smbolo proposicional
es usado para representar una proposicin con signicado siempre
falso 1 , mientras que es usado para representar una proposicin con
signicado siempre verdadero 2 . Los conectivos lgicos son smbolos que
permiten, a partir de smbolos y/o letras proposicionales, formar frases.
En la denicin mas comn de la lgica proposicional clsica, una de
las cuales es la lgica clsica estos smbolos son la negacin (), el o
lgico (), el y lgico (), la implicacin () y la equivalencia ().
El signicado que cada uno de estos conectivos le da a las frases que
se construyen con ellos se explicar ms adelante3 . Los parntesis son
usados para agrupar de manera apropiada las frases o frmulas de la
lgica proposicional.
En la lgica proposicional la gramtica se describe en trminos de
frmulas bien formadas (fbf) de manera recursiva4 , es decir, suponiendo
que los smbolos y letras proposicionales son fbfs y deniendo nuevas
fbfs en trminos de fbfs ya construidas.
Definicin. La gramtica de la lgica proposicional se dene recursivamente en trminos de frmulas bien formadas (fbf), as:
i) Si p es un smbolo o letra proposicional, entonces p es una fbf.
ii) Si f es fbf entonces (f ) es una fbf.
iii) Si f1 y f2 son fbfs entonces: (f1 f2 ), (f1 f2 ), (f1 f2 ) y (f1 f2 )
son fbfs.
1

Que se representar abreviadamente por el smbolo F .

Que se representar abreviadamente por el smbolo V .
3
Existen diversas formas de definir la lgica proposicional clsica dependiendo de
los conectivos lgicos usados (smbolo y definicin semntica). La presentada aqu es
la mas usual y se le dice clsica por la definicin semntica de los conectivos lgicos.
4
En una definicin recursiva se definen casos particulares o base y los dems se
definen como construcciones sobre estos casos base y sobre estas construcciones.
2

2.1. LGICA PROPOSICIONAL

En el lenguaje de la lgica proposicional, a diferencia del espaol u

otro lenguaje natural, la semntica es fcil de denir ya que los posibles
sentidos que tiene una frase son solamente dos (verdadero y falso) y las
frases que se pueden construir se denen de manera recursiva (frmulas
bien formadas).
Ejemplo. Las siguientes secuencias de smbolos son frmulas bien formadas:




f1 : (p (q)) (r s)
f2 : (r q) (q s)
Ejemplo. Las siguientes secuencias de smbolos no son frmulas bien
formadas:


f1 : ( p)(r s)
f2 : ( p q) ( q p)
Definicin. La semntica de la lgica proposicional se dene de manera recursiva sobre las frmulas bien formadas as ((f ) se usa para
representar el signicado de la frmula bien formada f ):
i) Si f es un fbf denida solamente por un smbolo o letra proposicional, el signicado de la frmula f es el mismo signicado del
smbolo o letra proposicional.
()
V

()
F

(p)
signicado de la proposicin p

ii) Si f es una fbf, entonces:

(f )
V
F

(f )
F
V

iii) Si f1 y f2 son fbfs, entonces:

(f1 ) (f2 ) (f1 f2 ) (f1 f2 ) (f1 f2 ) (f1 f2 )
V
V
V
V
V
V
V
F
V
F
F
F
V
V
F
V
F
F
F
F
F
F
V
V

CAPTULO 2. LGICA MATEMTICA

Ejemplo. Suponga que (p) = F, (q) = F, (r) = V , entonces el

signicado (valor de verdad) de la frmula bien formada





f : (p) q (r q) ()
para hallar el signicado de f , primero se debe hallar el valor de
verdad de los parntesis ms internos y luego con esos resultados ir
hallando el valor de verdad de las frmulas ms internas que vayan
apareciendo, de esta manera
(p) (q) (r) (p)
F

V



(r q) ()

(r q)
F

()

(p) q

(p) q (r q) ()

(p) q (r q) ()
V
as, (f ) = V .

2.1.2. Precedencia de conectivos lgicos

Uno de las principales limitaciones de las frmulas bien formadas
es el uso excesivo de los parntesis, los cuales, en muchos casos, son
redundantes. Para evitar este uso excesivo de parntesis (sin que esto
implique que toda frmula pueda ser escrita sin parntesis), a los conectores lgicos se les asigna una prioridad que determina de manera
exacta el orden en que los parntesis se deben asumir si no se escriben.
Entre ms alta es la prioridad de un conector, los parntesis asociados
a l, tienen mayor prelacin, es decir, en el proceso de completar los
parntesis, los parntesis asociados al operador con ms prioridad son
adicionados primero que los parntesis de un conectivo con menor prioridad. Las prioridades asignadas a los operadores se pueden observar el
la tabla 2.1. Cuando en la frmula aparece el mismo operador varias
veces y no se puede determinar a cul se le deben asignar los parntesis
primero, se asignan los parntesis de izquierda a derecha.
Ejemplo.
La frmula p q r s representa la fbf (p q)


(r s) , ya que completando parntesis:

2.1. LGICA PROPOSICIONAL

Conectivo

,
,

Prioridad
1
2
3

Significado
alta
medio
baja

Tabla 2.1. Prioridad de los conectivos lgicos.

i. p q r s
ii. p q (r s)

( prioridad 3)

iii. (p q) (r s)
iv. (p q) (r s)

( ms a la izquierda prioridad 4)

( prioridad 4)

2.1.3. Leyes
En la lgica proposicional clsica, una ley lgica es una equivalencia o implicacin entre frmulas lgicas. Tal equivalencia o implicacin
lgica debe ser verdadera para cualquier interpretacin de las letras
proposicionales que conforman las frmulas relacionadas por la equivalencia (debe ser tautologa). Las ms famosas leyes lgicas son: Modus
Ponen, Modus Tollen, Inconsistencia, Doble negacin, Conmutatividad,
Distributivas, Asociativas y Morgan.
2.1.3.1. Interpretacin
Dada una coleccin de smbolos proposicionales, una interpretacin
de es una asignacin de valores de verdad a cada una de las letras
proposicionales de la coleccin.
Ejemplo. Sea = {q, r, s}.
1. Una interpretacin de es: (q) = V, (r) = V, (s) = F .
2. Una interpretacin de es: (q) = F, (r) = F, (s) = F .
3. Una interpretacin de es: (q) = F, (r) = V, (s) = V .
Propiedad. Si una coleccin tiene n letras proposicionales entonces
tiene en total 2n interpretaciones diferentes.
Ejemplo. Las interpretaciones posibles de la coleccin de letras proposicionales = {p, q, r}, entonces tiene ocho (23 = 8) interpretaciones:

10

CAPTULO 2. LGICA MATEMTICA

(p)
V
V
V
V
F
F
F
F

(q)
V
V
F
F
V
V
F
F

(r)
V
F
V
F
V
F
V
F

Nota. El valor de verdad de una frmula f para una interpretacin I

de f se notar como I (f ).
2.1.3.2. Tautologas, contradicciones y contingencias
Una frmula f se dice tautologa si para cualquier interpretacin de
su conjunto de letras proposicionales, su signicado (valor de verdad) es
V , se dice contradiccin si para cualquier interpretacin su signicado
es F y se dice contingencia si no es tautologa ni contradiccin.
Ejemplo. Determinar el tipo (tautologa, contingencia o contradiccin)
de cada una de las siguientes frmulas:
1. f = p q q p
2. f = p p
3. f = p (q r)
Solucin.
1. Si f = p q q p entonces f = {p, q}
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

qp
V
V
V
F

entonces f es tautologa.
2. Si f = p p entonces f = {p}

pq qp
V
V
V
V

2.1. LGICA PROPOSICIONAL

p
V
F

p
F
V

11

p p
F
F

entonces f es contradiccin.
3. Si f = p (q r) entonces = {p, q, r}
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

qr
V
V
V
F
V
V
V
F

p (q r)
V
V
V
F
F
F
F
F

entonces f es contingencia.
Al esquema de presentar todas las interpretaciones y el valor de verdad de la frmula se le llama tabla de verdad de la frmula f . Las tablas
de verdad son muy tiles para realizar demostraciones a nivel semntico, ya que ellas no solamente se pueden usar con letras proposicionales
sino con frmulas bien formadas, es decir, considerando toda una frmula bien formada como verdadera o falsa y construyendo la tabla de
verdad para dichas frmulas.
2.1.3.3. Equivalencias Lgicas
Definicin. Sean f1 y f2 dos frmulas, se dice que f1 es lgicamente
equivalente a f2 , (f1 f2 ) si y solamente si la frmula f1 f2 es una
tautologa.
Ejemplo. Las frmulas f1 = ( ) y f2 = son lgicamente
equivalentes, es decir, ( ) , para cualesquiera frmulas
y . Para esto, se debe demostrar que ( ) es una
tautologa; como se aprecia en la siguiente tabla

V V
V F
F V
F F

( ) ( )
V
F
F
F
F
V
F
V
F
V
V
V
F
V
V
F
V
V
F
V
V
V
V
V

12

CAPTULO 2. LGICA MATEMTICA

como se observa, f1 f2 es una tautologa, por lo tanto, f1 y f2 son

lgicamente equivalentes.
Las equivalencias lgicas ms conocidas se presentan en la tabla 2.2.
La demostracin de las mismas se deja al lector.
Equivalencia

( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( )
( )

Nombre
Tercio excludo
Contradiccin
Identidad
Dominacin
Idempotencia
Doble negacin
Conmutativas
Asociativas
Distributivas
Morgan

Tabla 2.2. Equivalencias lgicas.

2.1.3.4. Implicaciones Lgicas

Definicin. Sea = {f1 , f2 , . . . , fn } una coleccin de frmulas (premisas) y g una frmula (conclusin), se dice que implica lgicamente
a g ( g), si y solamente si (f1 f2 fn ) g es una tautologa.
Ejemplo. Las premisas = {, } implican lgicamente
ag=


, para esto es necesario que la frmula ( ) sea
una tautologa, como se aprecia en la siguiente tabla

13

2.1. LGICA PROPOSICIONAL

( ) ( )
F
V
F
F
V
V
F
F
F
V
F
V
F
V
V
V
V
V
V
V


como se observa, ( ) es una tautologa, por lo tanto,
= {, } implica lgicamente a g = .

V V
V F
F V
F F

Las implicaciones lgicas ms conocidas se presentan en la tabla 2.3.

Se deja al lector la demostracin de las mismas.
Implicacin
{, }
{, }
{, }
{}
{}
{, }
{, }
{ , }
{, }
{, }
{ , }
{ }
{ }
{ , }
{, }

Nombre
Combinacin
Ley de simplicacin
Variante de la ley de simplicacin
Ley de adicin
Variante de la adicin
Modus ponens
Modus tollens
Silogismo hipottico
Silogismo disyuntivo
Variante de silogsmo disyuntivo
Ley de casos
Eliminacin de equivalencia
Variante de eliminacin de equivalencia
Introduccin de la equivalencia
Ley de inconsistencia

Tabla 2.3. Implicaciones lgicas.

14

CAPTULO 2. LGICA MATEMTICA

2.1.4. Ejercicios
1. De los siguientes enunciados cules son proposiciones y cules
no?, justique su respuesta.
Tom Hanks ha ganado dos premios Oscar como mejor actor
por dos aos consecutivos.
Dame una cerveza.
Colombia gan ocho medallas olmpicas en Londres 2012.
Todo nmero primo es impar.
1 + 1 = 2.
La diferencia de dos primos.
Todo nmero par mayor que 2 puede escribirse como suma
de dos nmeros primos. (Christian Goldbach, 1742).
Que hora es?.
xn + y n = z n .
x + y = z + y si x = z.
2. De las siguientes secuencias de smbolos cules son frmulas bien
formadas y cules no?.


((p) r) (p q)


((p) (q)) (q r)


(p q) (q p)


(p p) (p p) (p (p))
3. Escriba la frmula bien formada que representa cada una de la
siguientes secuencias de smbolos:
pq rsq
pqqp
p q r (q r) q
p (q r) p q (p q)
4. Hallar el signicado de cada frmula que se especica a continuacin con respecto a la interpretacin denida para sta.
f = p q r s q, si (p) = V , (q) = V , (r) = V ,
(s) = F .

2.1. LGICA PROPOSICIONAL

15

f = p q q p, si (p) = V , (q) = F .
f = p q r (q r) q, si (p) = F , (q) = V ,
(r) = V .
f = p (q r) p q (p q), si (p) = V , (q) = F ,
(r) = V .
5. Verique las equivalencias lgicas de la tabla 2.2.
6. Verique las implicaciones lgicas de la tabla 2.3.
7. Verique que las formulas f1 = p q r y f2 = p (q r) no son
lgicamente equivalentes.
8. Con los operadores lgicos y es posible expresar los otros
operadores lgicos (, , ) de forma equivalente, de la siguiente
manera
p q (p q)
p q (p q)
p q (p q) (q p)
vericar que efectivamente los operadores lgicos , , se pueden expresar en trminos de los operadores lgicos y .
9. Con los operadores lgicos y es posible expresar los otros operadores lgicos (, , ). Encontrar frmulas lgicas que contengan slo los operadores lgicos y que sean equivalentes a las
frmulas p q, p q, p q y verique que efectivamente son
lgicamente equivalentes.
10. Adicional a los conectivos lgicos presentados, existen otros conectivos, tal como el conectivo o exclusivo (), el cual es muy
utilizado en computacin, y tiene como objetivo que dadas dos
frmulas f1 y f2 , la operacin f1 f2 ser nicamente verdadera
cuando se cumpla que slo una de la frmulas f1 o f2 sea verdadera. De esta manera, la semntica para este conectivo es la
siguiente

16

CAPTULO 2. LGICA MATEMTICA

(f1 )
V
V
F
F

(f2 )
V
F
V
F

(f1 f2 )
F
V
V
F

(a) Encuentre una frmula que sea equivalente lgicamente a la

frmula f1 f2 , que slo utilice los operadores lgicos y .
(b) Encuentre una frmula que sea equivalente lgicamente a la
frmula f1 f2 , que slo utilice los operadores lgicos y .
11. Adicional a los conectivos lgicos presentados, existe otro conectivo, tal como el conectivo barra de Sheffer (|), para el cual su
semntica es la siguiente
(f1 )
V
V
F
F

(f2 )
V
F
V
F

(f1 | f2 )
F
V
V
V

La principal caracterstica de este conectivo es que las frmulas

f , f1 f2 , f1 f2 , f1 f2 , f1 f2 , son lgicamente equivalentes
a frmulas que slo contienen el conectivo |, como se observa a
continuacin
f f | f
f1 f2 (f1 | f1 ) | (f2 | f2 )
f1 f2 (f1 | f2 ) | (f1 | f2 )
f1 f2 f1 | (f2 | f2 )
(a) Verique las anteriores equivalencias lgicas.
(b) Encuentre una frmula que slo utilice el conectivo | y que
sea lgicamente equivalente a la frmula f1 f2 .
12. Adicional a los conectivos lgicos presentados, existe otro conectivo, tal como el conectivo flecha de Peirce (), para el cual su
semntica es la siguiente

2.1. LGICA PROPOSICIONAL

(f1 )
V
V
F
F

(f2 )
V
F
V
F

17

(f1 f2 )
F
F
F
V

La principal caracterstica de este conectivo es que las frmulas

f , f1 f2 , f1 f2 , f1 f2 , f1 f2 , son lgicamente equivalentes
a frmulas que slo contienen el conectivo , como se observa a
continuacin
f f f
f1 f2 (f1 f2 ) (f1 f2 )
f1 f2 (f1 f1 ) (f2 f2 )




f1 f2 (f1 f1 ) f2 (f1 f1 ) f2
(a) Verique las anteriores equivalencias lgicas.
(b) Encuentre una frmula que slo utilice el conectivo y que
sea lgicamente equivalente a la frmula f1 f2 .

18

CAPTULO 2. LGICA MATEMTICA

2.2. Lgica de Predicados

La lgica proposicional no dene objetos. Si se tiene la proposicin
p: el nio juega con la pelota roja y blanca, tambin se podra hablar
de la proposicin q: la foca juega con la pelota azul y verde. Al tener
frases de este estilo estamos cambiando el sujeto de la oracin.
En este caso se puede pensar denir sentencias sin un sujeto especco. El sujeto puede cambiar (la foca, el nio). Se realiza referencia a
una realidad. Esto nos dara como resultado frases del estilo x juega
con y.
x e y son objetos que estn relacionados con un predicado y dependiendo del objeto se tiene una sentencia verdadera o falsa. En trminos
de estos se dene predicado como una frase que tiene un valor que
verdad dependiendo de los objetos de los que se este hablando. En el
ejemplo anterior el predicado es Juega y se escribira de la siguiente
forma: Juega(x, y) que se interpreta conceptualmente como x juega
con y.
Un predicado nos da una forma ms amplia de hablar. Se podra
tener una coleccin: {1, 2, 3, 4, 5, 6, 7, 8, 9, 0}. Y sobre esta coleccin se
dene un predicado. Se podra hablar del predicado esP ar(x). Si se
toma esP ar(3) se tendra un valor de falso, si se toma el predicado
esP ar(6) sera verdadero. Ningn predicado aplicado a un objeto puede
ser verdadero y falso a la vez.
Pueden haber predicados como esDigito(x) que para los objetos
de la coleccin es verdadero para todos los elementos de la coleccin
{1, 2, 3, 4, 5, 6, 7, 8, 9, 0}. El universo de discurso en este caso es la coleccin de objetos sobre los que se realizan los predicados. El predicado
esM ayora10(x) es falso para todos los elementos de dicha coleccin.

2.2.1. Cuantificadores
Para la lgica de predicados tenemos predicados en vez de proposiciones. P (x) es un predicado que habla sobre un objeto x.
Se puede hablar de P (x) Q(x) as
P (x) Q(x) P (x) Q(x)
V
V
V
F
F
V
F
V
F
F
F
F

2.2. LGICA DE PREDICADOS

19

Entendiendo instanciar como poner un valor a la variable, cuando

se instancian las variables como x, los predicados adquieren sentido.
Al ampliar el lenguaje se tienen nuevas propiedades como:
xP (x): denido como para todo x. Si se tiene un Universo y se tiene
un predicado P , ste ser verdadero s se evalan todos los elementos para este Universo y se comprueba que el valor de verdad
de la proposicin obtenida al instanciar la variable x, es siempre
verdadero, en caso contrario ser falso.
xP (x): denido como existe x. Si se tiene un Universo y se tiene
un predicado P , ste ser verdadero si al menos un elemento del
Universo hace que el valor de verdad de la proposicin obtenida
al instanciar la variable x con dicho elemento sea verdadera, en
caso contrario ser falso.
Si se tienen los nmeros dgitos como universo y se establece como
predicado P (x): P es mltiplo de 4, el predicado sera cierto para 8 y
0 (P (8), P (0)). Tomando la denicin de mltiplo como se dice que
un numero k es mltiplo de p si existe un entero q tal que se satisface
k = pq.

2.2.2. Leyes de Morgan para cuantificadores

Se tienen la siguientes equivalencias que expresan dicha ley:
xP (x) xP (x): no existe un x que cumpla el predicado P quiere
decir que para todo x no se cumple el predicado P .
xP (x) xP (x): no todo x cumple el predicado P es decir que
existe un x que no cumple el predicado.

2.2.3. Ejercicios
Si se piensa por un segundo como escribi Aristteles,
Todo hombre es Mortal, Aristteles es un hombre entonces
Aristteles es Mortal
El universo de discurso podran ser U : todas las cosas pensadas
por Aristteles. En este caso se tienen dos predicados: Mortal(x) y
Humano(x).

20

CAPTULO 2. LGICA MATEMTICA

x Humano(x) Mortal(x)
Humano(Aristoteles)
Mortal(Aristoteles)

Aristteles realiza una particularizacin universal, pues reemplaza

un valor por un objeto del universo sin alterar el valor de la particularizacin universal.

2.2.4. Logica de predicados en programacin

Cuando un profesor revisa un programa, ste evala que para toda
entrada dada, se tenga una salida esperada. Si el profesor encuentra un
caso para el que el programa no muestra una salida esperada (particularizacin universal), se concluye que el programa no funciona pues se
espera que haga lo que debe hacer para todos los casos contemplados.
La lgica de predicados ayuda a establecer precondiciones en la elaboracin de los programas. Validaciones de este tipo incluyen vericaciones en los tipos de datos, por ejemplo:
El clculo de permetros y reas debe funcionar solamente con
nmeros positivos.
El valor de una temperatura requiere que la medicin se realice
con magnitudes continuas.
El tiempo promedio de vida de un animal unicelular es una cantidad continua que representa tiempos positivos.