UNIVERSIDAD

PEDAGOGICA NACIONAL
PREUFOD

ESTRUCTURAS
DISCRETAS

LOGICA

INTRODUCCION
El ser humano, a travs de su vida diaria, se comunica con
sus semejantes a travs de un lenguaje determinado (oral,
escrito, etc.) por medio de las denominadas frases u
oraciones. Estas pueden tener diferentes significados pero
siempre van a resumirse a las formas de verdaderas o
falsas, siendo ste el precedente fundamental para el
desarrollo humano.
Lo importante en el presente estudio es el hecho de que, a
partir de los enunciados y de acuerdo a su significado es
posible establecer una proposicin y a partir de un conjunto
de stas podemos llegar a una conclusin o inferencia,
siendo la lgica la ciencia encargada del estudio de stas.
Hoy en da, la lgica proposicional tiene una importancia
singular dada su aplicacin en la informtica.

QUE ES LA LOGICA?
Disciplina que estudia los principios formales del
conocimiento humano, es decir, las formas y las
leyes ms generales del pensamiento humano
considerado puramente en s mismo, sin referencia
a los objetos.

PROPOSICIONES Y ENUNCIADOS
LOGICOS
Es el significado de cualquier frase declarativa que
puede ser verdadero o falso.
A las proposiciones o enunciados se les puede
asignar uno de dos valores 1 si es verdadero o
0 si es falso, por ese motivo se le denomina
logica bivalente

Algunos ejemplos de enunciados y

propocisiones

La frase 1=1 es un enunciado, puesto que puede ser

verdadero o falso

Llovera manana es una proposicion, para conocer su

valo de verdad tenemos que esperar hasta manana.

Las rosas son rojas y la violetas azules es un

enunciado compuesto por los subenunciados Las
rosas son rojas y Las violetas azules

X+2=5 es una ecuacion que adquiere un valor de verdad

o falsedad cuando a X se le asignen diferentes valores,
por tal razon se denomina una proposicion condicional

TABLAS 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 logico-philosophicus, publicado en
1918 por Bertrand Russell.
Se emplean en lgica para determinar los
posibles valores de verdad de una expresin o
proposicin. O si un esquema de inferencia,
como argumento, es formalmente vlido
mostrando que, efectivamente, es una tautologa
.

LA NEGACION (NOT ~ )
Para negar una proposicion se emplea el simbolo
( ~ ) de tal rorma que ~p ( que se lee no p)
Ejemplo:
p
1
1
0
0

q
1
0
1
0

~p

~q

0
0
1
1

0
1
0
1

LEY DE DOBLE NEGACION (NOT ~ )

Cuando el nmero de negaciones de un enunciado
es par, el valor de verdad de dicho enunciado es el
original de la proposicin, y cuando es impar es la
negacin del enunciado original.
Ejemplo.
~~p=p
~~~p=~p
~~~~p=p
~~~~~p=~p

PROPOSICIONES COMPUESTAS
Una proposicin compuesta es una proposicion que se puede
descomponer en 2 o mas proposiciones atomicas.
Una proposicion atomica es una propocion que no se puede
descomponer en mas proposiciones.
una proposicion atomica: P = es de noche
otra proposicion atomica: Q = esta lloviendo
Una PROPOSICION COMPUESTA: P^Q= (P y Q) = Es de noche y
esta lloviendo.
Las proposiciones compuestas bsicas son:
1. La conjuncin
2. La disyuncin
3. La disyuncin exclusiva
4. La implicacin
5. La equivalencia

LA CONJUNCION
1.- Conjuncin (AND ^) significa Y.
Da verdadero (1) si ambos valores son 1, en todo los dems
casos da 0 Ejemplo:
p: Aquiles corre velos q: La tortuga no corre velozmente
1.- p ^ q
Alquiles corre velos y la tortuga no corre velozmente
2.- ~ p ^ q Ni Aquiles ni la tortuga corren velozmente
3.- ~ p ^ ~ q
Aquiles no corre velozmente y la tortuga corre velozmente
p

~p

~q

p^q

~p^q

~p^~q

Para que la expresin p ^ q sea verdadera tanto p como q

deben ser verdaderas

LA DISYUNCION (OR)
Disyuncion (OR v) signifiva o en espaol.
Da falso cuando todas son falsas (0), en todo los dems casos
da verdadero (1).
p

~p

~q

pvq

~pvq

~pv~q

Para que la expresin p v q sea verdadera basta que una

proposicin sea verdadera

Ejercicio:

LA DISYUNCION EXCLUSIVA (XOR)

Es verdadera solo en el caso en el que las dos proposiciones
tengan diferente valor de verdad.
p

La palabra o tiene dos significados diferentes: En la oracin

El estudiara en la Pedaggica o en la Catlica la presuncin
es que puede estar en una pero no en ambas. De modo que
o se utiliza en el sentido llamado disyuncin exclusiva

LA IMPLICACION O CONDICIONAL ( )
Es falsa si el antecedente es verdadero y el consecuente es falso. La
implicacin es una conectiva que se notara con una flecha
ejemplo p q (p implica q).

p
0
0
1
1

q pq
0
1
1
1
0
0
1
1

Ejemplo:
1.- Sea p: -1=1 q: (-1) = (1)
p es un antecedente falso
q es un consecuente verdadero
p q -1=1 (-2) = (-2) es una implicacion
veradera.

La implicaciones tambin reciben el nombre de teoremas, pueden ser de

cuatro formas.
1.- Implicacin directa.
pq
2.- Implicacin contraria.
q p
3.- Implicacin reciproca.
~p ~q
4.- Implicacin contra reciproca.
~ q ~ p

Contraria y Reciproca

(q p) (~ p ~ q)

Ejemplo implicacin
p

~p

~q

~p

~q

(p q) (~ q ~ p)
Directa y Contra reciproca

Las tablas de verdad de la implicaciones directa y contra reciproca, y de la

contraria y reciproca son iguales, por tanto estas implicaciones son
equivalentes ( ) es decir.
1.- (p q) (~ q ~ p)
2.- (q p) (~ p ~ q)

Cuando una implicacin directa es verdadera y lo es adems la

implicacin contraria las proposiciones son equivalentes ( ) .

LA EQUIVALENCIA
La equivalencia es una conectiva logica , p q que se dice:
p entonces q , p si y solo q , p es necesario y suficiente para q
La equivalencia es verdadera si ambas proposiciones son verdaderas o si
ambas son falsas, es decir:
p

Contingencia

Si la tabla de verdad de las proposiciones es siempre verdadera

independientemente de la verdad o falsedad de las proposiciones simples,
entonces la expresin es tautolgica. Si la tabla de verdad es siempre
falsa ser una contradiccin; si es verdadera y falsa, la proposicin es
una contingencia.

El siguiente ejemplo es una tautologa usada para trasformar una

implicacin en una expresin equivalente (p q ) ~(p ^ ~q), cuya
tabla de verdad es:
p

~q

p q

p ^ ~q

~( )

Determinar que tipo de expresin es la siguiente: (p q ) ~(~p v q)

p

~p

p q

~p

~( )

La expresin lgica anterior es una contradiccin

Para realizar las tablas de verdad de proposiciones compuestas, de tres

simples se deben construir ocho renglones para cada una de las
combinaciones de verdad y falsedad
Ejemplo:
[ p ^ ~ (q v r ) ] [ ( p ^ ~ q ) v ( p ^ ~ r ) ]
haciendo : s = p ^ ~ q
t=p^~r
~( )

[^]

[ v]

~q

~r

Para realizar las tablas de verdad de proposiciones compuestas, de tres

simples se deben construir ocho renglones para cada una de las
combinaciones de verdad y falsedad
Ejemplo:
[~p (~qv~r)] [~(pq)v~(pr)]
haciendo : s = p q
t=pr
p

~p

~q

~r

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
1
1
0
0
0
0

1
1
0
0
1
1
0
0

1
0
1
0
1
0
1
0

~q v ~r [ ]
1
1
1
0
1
1
1
0

1
1
1
0
1
1
1
1

~s

~t

[ v]

1
1
1
1
0
0
1
1

1
1
1
1
0
1
0
1

0
0
0
0
1
1
0
0

0
0
0
0
1
1
0
0

0
0
0
0
1
1
1
0

1
1
1
1
1
0
0
1

LEYES DEL ALGEBRA DE PROPOSICIONES

1.- Idempotencia
2.- Asociativa
3.- Conmutativa
4.- Distributiva
5.- Identidad
6.- Complemento
7.- DMorgan

1.- LEYES IDEMPOTENCIA

a. p v p p
b. p ^ p p
Disyuncin

pvp

Conjuncin

p^p

2.- LEYES ASOCIATIVA de la disyuncin

a. (p v q) v r p v (q v r)
p

pvq

(p v q) v r

qvr

p v (q v r)

2.- LEYES ASOCIATIVA de la conjuncin

b. (p ^ q) ^ r p ^ (q ^ r)
p

p^q

(p ^ q) ^ r

q^r

p ^ (q ^ r)

3.- LEYES CONMUTATIVAS

a. p v q q v p

b. p ^ q q ^ p
Conjuncin

Disyuncin

pvq

qvr

p^q

q^r

4.- LEYES DISTRIBUTIVAS

a. p v (q ^ r) (p v q) ^ (p v r)
p

q^r

p v (q ^ r)

(p v q)

(p v r)

(p v q) ^ (p v r)

4.- LEYES DISTRIBUTIVAS

b. p ^ (q v r) (p ^ q) v (p ^ r)
p

qvr

p ^ (q v r)

(p ^ q)

(p ^ r)

(p ^ q) v (p ^ r)

5.- LEYES IDENTIDAD

a. p v 0 p
p^1p

b. p v 0 p

p^1p

pv0

p^1

pv0

p^1

Disyuncin

Conjuncin

Disyuncin

Conjuncin

6.- LEYES COMPLEMENTO

a. p v ~ p 1 p ^ ~ p 0

b. ~ ( ~ p) p

-1 = 0, -0 =1

p v ~p

p^~p

~p

~(~p)

Disyuncin

Ley doble negacin

Conjuncin

7.- LEYES D MORGAN

a. ~(p v q) ~ p ^ ~ q
p

pvq

~(p v q)

~p

~q

~ p ^ ~q

7.- LEYES D MORGAN

b. ~(p ^ q) ~ p v ~ q
p

p^q

~(p ^ q)

~p

~q

~ p v ~q

Argumentos
y
Reglas de inferencia
* Qu es una implicacin lgica?
* Qu es un argumento?
* Qu es un argumento vlido?
* Cmo usar las reglas de inferencia
para establecer y demostrar la
validez de un argumento?

Equivalencia

Recuerda

significa igualdad

Las leyes lgicas nos muestran algunas

proposiciones equivalentes a otras.
Eso equivale a conocer atajos
proposicionales.
Puedes dar un ejemplo de dos
proposiciones compuestas que sean
lgicamente equivalentes?
. Pasemos a un concepto

Qu es una implicacin
lgica?
Sean r y s dos proposiciones compuestas.
Decimos que r implica lgicamente a s
cuando r s es una tautologa y lo
denotamos por
r s.
Esto significa que s es verdadera siempre que
r sea verdadera.
Ejemplo: Comprueba que [(p q) p] q.
En este caso, r es [(p q) p] y s es q
Pinsalo unos minutos ...!

Qu es una implicacin
lgica?
Para comprobar [(p q) p] q usamos la
definicin.
p q [(pq) p]

[(p q) p] q.

Esta es una implicacin lgica llamada: Modus Ponens o

Modo Positivo.
Est relacionada con un modo de razonamiento: Si tengo
dinero, voy al cine. Y tengo dinero. Por lo tanto, voy al
cine!

... implicacin lgica

Observa que:
Una implicacin lgica NO es lo mismo que una
equivalencia lgica.
En una equivalencia lgica podemos sustituir una
proposicin por otra.
En la implicacin lgica no podemos sustituir una
proposicin por otra. Puedes dar una razn?
Que r s sea una tautologa equivale a decir que
s es cierta cada vez que r sea cierta.

... implicacin
lgica
Ejercicio 1:
Decide si es o no es cierto que :
a) q (p q) p
q (p q) p
c) [ (p q) p ] q
Toma unos minutos para decidir ...
a) No es cierto; es falsa si p y q son falsas.
b) Es cierto; a esta implicacin se le llama Modus Tollens.
c) Es cierto; a esta implicacin se le llama Silogismo disyuntivo.

Qu es un argumento?
Un argumento es una proposicin compuesta del
tipo
Si

(p1 p2 p3 ..... pk)

Premisas

entonces

Conclusin

Ejemplo
Si Juan se gana la beca, viaja a Pars. Y Juan se gan la
beca.
Por lo tanto, viajar a Pars.
Este argumento tiene dos premisas.
Las premisas son: Si Juan gana la beca entonces viaja a Pars y
Juan se gan la beca.
La conclusin es: Juan viaja a Pars.

Qu es un argumento?

Si Juan se gana la beca, viaja a Pars. Y Juan se gan la

beca. Por lo tanto, viajar a Pars.
Este argumento puede representarse como una tabla o
como una implicacin.
Sean las proposiciones:
p: Juan gana la beca
q: Juan viaja a Pars.

Tabla: p q
p
q

Implicacin:
[(p q) p] q

Argumento
Ejercicio
Fue Elisa o fue Carlos quien cometi el fraude. Pero
Elisa estaba fuera de la ciudad cuando el crimen fue
cometido. Si ella estuvo fuera de la ciudad, no pudo
cometer el crimen. Eso nos conduce, lgicamente, a
Carlos. l es el culpable.
a) Cules son las premisas
este argumento?
Proposiciones en
simples
b)
es la conclusin?
p : Cul
Elisa cometi
el fraude.
q : Carlos cometi el fraude.
r : Elisa estaba fuera de la ciudad cuando el crimen fue cometido.
Hay
varias1:
premisas
conclusin
proposicin
Premisa
p q y laPremisa
2: res una
Premisa
3: r simple.
p

Conclusin: q

 Argumento
Ejemplo: Expresa simblicamente
Si el hijo de Leonidas est vivo, ste se casar
con Ivette. Pero el hijo de Leonidas muri, por lo
tanto, l no podr casarse con Ivette.
Proposiciones simples:
p: El hijo de Leonidas est vivo
q: El hijo de Leonidas se casa con Ivette

Tabla:

pq
p
q

Implicacin:
{(p q) p} q
Es sta una implicacin
lgica?

Argumento vlido
Se dice que:
Un argumento es vlido si cada vez que las
premisas son verdaderas, la conclusin es verdadera.
Es decir, si las premisas son ciertas, est garantizada
la veracidad de la conclusin. De modo que un
argumento es vlido si la implicacin:
(Premisas) (Conclusin)
es una implicacin lgica.
Un argumento es vlido debido a su forma, no a su
contenido.

Argumento vlido
[(p q) p] q

Este ES un
argumento vlido

[(p q) p] q

Este NO ES un
argumento vlido.

Para comprobar la segunda afirmacin,

supn que las premisas son verdaderas y
verifica que no puedes asegurar que la
conclusin es verdadera

Argumento vlido
Un argumento puede ser vlido (debido a su forma)
aunque el contenido de la conclusin pueda ser
falso.
Ejemplo
Si Ud. invierte en la Bolsa, se har rico.
Si Ud. se hace rico, ser feliz
___________________________
Si Ud. invierte en la Bolsa, ser feliz.
Comprueba que este es un argumento vlido.

Reglas de Inferencia
Son reglas que permiten establecer la veracidad
de un argumento sin tener que realizar una gran
tabla de verdad.
Las reglas estn asociadas a formas de
razonamiento.
Las reglas de inferencia tienen asociadas
implicaciones lgicas.
Algunas de las ms usadas son: el Modus Ponens
y el Modus Tollens que ya vimos. Otras son:
Silogismo, Silogismo disyuntivo, Simplificacin,
Amplificacin, Demostracin por casos.

Reglas de Inferencia
Nombre de la Regla
Simplificacin
Amplificacin

Implicacin lgica
(p q)

p (pq)

Modus Ponens

[ p ( p q)]

Modus Tollens

[( p q)

Silogismo
hipottico

[(p q) (q r)] (p r)

Silogismo
disyuntivo

[( p q) p)]

q ]

Con estas reglas podemos ir de un lado a otro,

pero no podemos regresarnos una vez que usamos
la garrocha.

Validez de argumentos
Ejemplo: Dado el argumento
(p q) (r s)] (r t) (t ) q
a) Decida si es o no vlido.
b)En caso de ser vlido, demustrelo. Si no es vlido,
d un contraejemplo.
a) Anlisis sobre la validez:
Debemos suponer que todas las premisas son
ciertas y trataremos de comprobar que la
conclusin tambin lo es.
Es conveniente empezar de la premisa ms sencilla.

Validez de argumentos
Hay tres premisas:
(p q) (r s)
P1

(r t)
P2

(t )
P3

Comencemos por P3: t es falsa.

Por P2: r debe ser falsa.
Al ver P1: si r es falsa, r s es falsa, de modo que
el antecedente p q es falso.
Pero (p q) (p q),
por lo tanto, (p q) es verdadera. Esto ocurre,
cuando tanto p como q son verdaderas. De modo
que q es verdadera.
Por lo tanto, el argumento es
vlido !!!

Demostracin de la validez
b)

Demostremos que es vlido.

Los pasos de la demostracin estn sugeridos por la
parte anterior. Partimos del antecedente y utilizando
las leyes lgicas y las reglas de inferencia tratamos de
tender los puentes para llegar a la conclusin.
En cada lnea justificaremos el paso dado,
mencionando el nombre de la ley o de la regla de
inferencia que usamos

Demostracin de la validez
[(p q) (r s)]

[(p q)
[(p q)
[(p q)
[(p q)
(p q)
p q
pq
q

(r
(r
(r
(r

- Ley usada (r t) (t )

s)] [(r t) (t )] Asociativa

s)] r
Modus Tollens
s)] (r s)
Amplificacin
s)] ( r s)
De Morgan
Modus Tollens
De Morgan
Doble negacin
Reduccin

Validez de argumentos
Ejemplo 2:
Dado el argumento
(p q) (r s) ( p s)

(q s)

a) Decida si es o no vlido.
b) En caso de ser vlido, demustrelo.
Si no es vlido, d un contraejemplo.
a) Sobre la validez:
Supongamos que todas las premisas son ciertas y
trataremos de demostrar que la conclusin lo es.
P1: (p q) es cierta.
P2: (r s) es cierta.
P3:
( p s) es cierta.
C:
q s
ser cierta?

Decidir sobre la validez

P1: (p q)
P2: (r s)
P3:
( p s)
C: q s

es cierta.
es cierta.
es cierta.

Por P3: p y s no pueden ser ambas falsas.

Caso 1: Supongamos que s es cierta, pero no lo es p.
Por P1: q puede ser verdadera o falsa. En cuyo caso,
la conclusin es cierta.
Caso 2: Supongamos que p es cierta, pero no lo es s.
Por P1: q es cierta. En cuyo caso, (q s)
es
cierta.
Caso 3: Supongamos que p y s son ambas ciertas.
Entonces q es cierta. En cuyo caso, (q s)
es
cierta.
Por lo tanto, el argumento es vlido !

Demostrar la validez
b) Sobre la demostracin:
Partiendo de
conclusin.

las

premisas,

debemos

arribar

la

Completa las reglas o leyes que faltan .

Ley o Regla usada (p q) (r s) ( p s)

(p q) (r s) ( p s)
sustitucin 1
(p q) (p s) (r s)
conm. y asoc.
(p q) p (p q) s (r s) distribut.
q [(p q) s (r s)
silog. disyuntivo
q (p s) (q s) (r s)
________
q (p s) (r s)
________
(q p) (q s) ] (r s)
_________
(q p) (q s)
_________
(q s)
__________

 Y si no es vlido?
Se tiene el siguiente argumento, parecido al ejemplo 1
(p q) (r s)] (r t) (t)
P1
P2
P3

Decidamos si es, no, vlido.

Comencemos por P3: t es falsa.
Por P2:

r debe ser falsa.

Al ver P1: como r es falsa, r s es falsa; de modo

que p q es falsa, lo cual ocurre cuando p y q
son falsas

Cmo comprobar que no es vlido?

En el argumento:
[(p q) (r s)] (r t) (t)]
P1
P2
P3

La conclusin puede ser falsa an cuando las premisas

son verdaderas !!! Esto indica que el argumento
NO es vlido.
De hecho, si
p, r, s y q son
V, F, V y V
respectivamente, las premisas son ciertas y la
conclusin es falsa. Este es el contraejemplo.

Ejercicio
Decida si el argumento es vlido y si lo es, proporcione una
demostracin.
Denote a las proposiciones por p, q, r, s, ..

Si hay cierta probabilidad de lluvia o pierde su lazo

rojo, Lucy no cortar la grama. Siempre que la
temperatura supere los 80 F, no hay probabilidad
de lluvia. Hoy la temperatura es de 85 F y Lucy
est usando su lazo rojo. Por lo tanto, Lucy cortar
la grama.