MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

Universidad de Antioquia
Facultad de Ingeniera - Ingeniera Electrnica
Matemticas Discretas 2015-I
Gua 1: Lgica Proposicional. SEMANA 2
Monitor: Luis David Goyes Garcs
Fecha: 25 de marzo de 2014
Cuando se quiere ofrecer una demostracin de una situacin dada, se debe
utilizar un sistema de lgica. Esto tambin es cierto a la hora de desarrollar los
algoritmos necesarios para un programa. La lgica proposicional es un sistema
formal cuyos elementos ms simples representan proposiciones y cuyas
constantes lgicas, llamadas conectivas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de mayor complejidad.
La lgica de las matemticas se aplica para decidir si una proposicin se sigue
o es consecuencia lgica de una o ms proposiciones.
CONECTIVAS Y TABLAS DE VERDAD
En el desarrollo de cualquier teora, se hacen afirmaciones en forma de
oraciones. Tales afirmaciones, llamadas enunciados (o proposiciones), son
oraciones declarativas que son verdaderas o falsas (pero no ambas). Ejemplos
de proposiciones:
p: Mi hermana se llama Natalia.
q: Ralph Grimaldi es un gran profesor.
r: La bandera de Colombia tiene tres colores.
Por otro lado, no consideramos como proposiciones algo como la
exclamacin:
Qu bien!
O la orden:
Ponte a estudiar Matemticas Discretas
Las proposiciones anteriores, representadas por las letras p, q y r, se
consideran proposiciones primitivas, ya que no hay forma de descomponerlas
Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

en algo ms sencillo. Es posible obtener nuevas proposiciones, a partir de

otras existentes, de dos maneras:
1. Transformando una proposicin p en la proposicin p, que denota su
negacin y se lee como no p.
Para la proposicin anterior p, p es la proposicin Mi hermana no se llama
Natalia. (NO SE CONSIDERA la negacin de una proposicin primitiva
como una proposicin primitiva.)
2. Combinando dos o ms proposiciones en una proposicin compuesta
mediante las siguientes conectivas lgicas:
a. Conjuncin (): Denotada como y se lee como p y q.
b. Disyuncin (): Denotada como y se lee como p o q. Se
usa la palabra o en el sentido inclusivo. En consecuencia,
es verdadero si una o la otra o ambas proposiciones p, q son
verdaderas.
c. Disyuncin exclusiva (): La o exclusiva se denota como
. La proposicin compuesta es verdadera si una u otra,
pero no ambas proposiciones son verdaderas. Un ejemplo sera:
Yo soy David o Javier toca guitarra, pero no ambos.
d. Implicacin (): La implicacin se dice p implica q y se
escribe . Otras formas alternativas para nombrar la
implicacin sera:
i. Si p, entonces q
ii. p es suficiente para q
iii. p es una condicin suficiente para q
iv. p slo si q
v. q es necesario para p
vi. q es una condicin necesaria para p
p se conoce como la hiptesis de la implicacin y q como la
conclusin. No se necesita una relacin causal entre las
proposiciones combinadas.
e. Bicondicional (): El bicondicional se denota como y se
lee como p si y slo si q o p es necesario y suficiente para q.
Se debe tener presente que un enunciado como:

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

El nmero x es un entero
no es una proposicin, ya que su valor de verdad (verdadero o falso) no puede
determinarse si no se asigna un valor numrico a x. Si = 7 entonces la
proposicin sera verdadera. Por otro lado, si = la proposicin sera falsa.
El significado de las conectivas lgicas no es nada ms que su
comportamiento como funciones de verdad. Cada conectiva lgica se
distingue de las otras por los valores de verdad que devuelve frente a las
distintas combinaciones de valores de verdad que puede recibir. Esto quiere
decir que el significado de cada conectiva lgica puede ilustrarse mediante
una tabla que despliegue los valores de verdad que la funcin devuelve frente
a todas las combinaciones posibles de valores que puede recibir.

(a)

(b)

(c)

(d)

(e)

(f)

Figura 1.1. Tablas de verdad de las conectivas bsicas. (a) Negacin

(b) Conjuncin (y) (c) Disyuncin (o) (d) Condicional (e) Bicondicional
(f) Disyuncin excluyente
Al construir tablas de verdad, se puede usar el 0 para el falso (F) y el 1 para
el verdadero (V).

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

EJEMPLO 1.1
Sean a, b, y c las siguientes proposiciones primitivas:
a: Estudio Electrnica
b: Est lloviendo.
c: Mi mam se llama Gloria
Las siguientes oraciones ofrecen algunas traducciones posibles para las
proposiciones compuestas simblicas dadas:
( ) : Si Estudio electrnica o no est lloviendo,
entonces mi mam no se llama Gloria.
: Estudio Electrnica sii mi mam se llama Gloria.
( ) : Si no es cierto que est lloviendo y mi mam se
llama gloria, entonces estudio electrnica.

EJEMPLO 1.2
Para entender la tabla de verdad del condicional () de la figura 1.1.d,
se podra estudiar el ejemplo de una persona honrada (que siempre
cumple su palabra) y que hizo la promesa: Si consigo plata, pago las
deudas.

Figura 1.2. Tabla de verdad de la conectiva condicional

Sea p la premisa consigo plata y q: pago las deudas. En la primera
fila de la tabla de la figura 1.2 se puede ver que el hombre consigui la
Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

plata y pag las deudas que tena, por lo tanto cumpli su promesa. En
el tercer rengln se puede ver que el hombre no consigui la plata pero
pag sus deudas, lo cual no quiere decir que incumpli su promesa:
pag, que es lo importante. En la cuarta fila se tiene que el hombre no
ha conseguido la plata y tampoco ha pagado las deudas: hasta el
momento no ha incumplido su promesa. Sin embargo, en la segunda fila
se tiene el caso en que el hombre s consigui la plata pero no pag las
deudas; caso que resulta inaceptable pues aquel hombre nunca incumple
sus promesas.
De esta manera, se puede recordar el ejemplo del hombre que paga sus
deudas como una nota nemotcnica para recordar, as, el
funcionamiento de esta conectiva.

TAUTOLOGA Y CONTRADICCIN
Una proposicin compuesta es una tautologa (T0) si es verdadera para todas
las asignaciones de valores de verdad para sus proposiciones componentes. Si
una proposicin es falsa para todas estas asignaciones, entonces es una
contradiccin (F0).
Las ideas de tautologa y contradiccin se usan para deducir si un argumento
es vlido o no, y as, poder hacer demostraciones matemticas. En general, un
argumento comienza con una lista de proposiciones dadas llamadas premisas
y una proposicin que se conoce como la conclusin del argumento. Se debe
examinar las premisas para demostrar que la conclusin se sigue lgicamente
de las proposiciones.
Se busca demostrar que si cada una de las premisas (p1, p2, , pn) es
una proposicin verdadera, entonces la conclusin (q) tambin es
verdadera.

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Facultad de Ingeniera
Ingeniera Electrnica

Matemticas Discretas

EJEMPLO 1.3
Demuestre que [ ( )] 0
Para hacer esta demostracin se recurre a la figura 1.3
( ) [ ( )]
0 0

0 1

1 0

1 1

Figura 1.3. Tabla de verdad para el ejemplo 1.3

Se nota, segn la columna 5 que:
[ ( )] 0
Pues la expresin es verdadera ante cualquier valor de verdad de p y q.

EJEMPLO 1.4
Demuestre que 0

0

Figura 1.4. Tabla de verdad para el ejemplo 1.4

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Facultad de Ingeniera
Ingeniera Electrnica

Matemticas Discretas

Se nota, segn la columna 3 de la figura 1.4 que:

0
Dado que la expresin es falsa ante cualquier valor de verdad de p.

EQUIVALENCA LGICA
Dos proposiciones s1, s2 son lgicamente equivalentes (1 2 ) cuando la
proposicin s1 es verdadera (respectivamente, falsa) si y slo si la proposicin
s2 es verdadera (respectivamente, falsa).
Ntese que cuando 1 2 , las proposiciones s1 y s2 dan lugar a las mismas
tablas de verdad ya que s1, s2 tienen los mismos valores de verdad para todas
las opciones de valores de verdad de sus componentes primitivas.

( ) ( ) ( )
0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

Figura 1.5. Tabla de verdad para el ejercicio 1.5

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Facultad de Ingeniera
Ingeniera Electrnica

Matemticas Discretas

EJEMPLO 1.5
Demuestre que ( ) ( ) .
Se nota, segn las columnas 5 y 7 de la figura 1.5 que:
(( ) ) (( ) ) 0
O,

( ) ( )

LAS LEYES DE LA LGICA

Para cualesquiera proposiciones primitivas p, q, r, cualquier tautologa T0 y
cualquier contradiccin F0.
1.
2. ( )
( )
3.

4. ( ) ( )
( ) ( )
5. ( ) ( ) ( )
( ) ( ) ( )
6.

7. 0
0
8. 0
0
9. 0 0
0 0
10. ( )
( )

Ley de la doble negacin

Leyes de DeMorgan
Leyes conmutativas
Leyes asociativas
Leyes distributivas
Leyes idempotentes
Leyes de neutro
Leyes inversas
Leyes de dominacin
Leyes de absorcin

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

DUAL DE UNA PROPOSICIN

Sea s una proposicin. Si s no contiene conectivas lgicas distintas de y ,
entonces el dual de s, que se denota como sd, es la proposicin que se obtiene
de s al reemplazar cada ocurrencia de y con y , respectivamente, y
cada ocurrencia de 0 y 0 con 0 y 0 , respectivamente. Si s es una
proposicin primitiva, sd es igual a s.
EJEMPLO 1.6
Sean p, q las proposiciones primitivas
P: Juan va al lago George.
Q: Mara paga las compras de Juan.
Y consideremos la implicacin
: Si Juan va al lago George, entonces Mara pagar las
compras de Juan.
Aqu queremos escribir la negacin de de una forma distinta a
( ). Queremos evitar escribir la negacin como no es cierto que
si Juan va al lago George, entonces Mara pagar las compras de Juan.
Para hacer esto, consideremos lo siguiente. Como ,
se sigue que ( ) ( ). Entonces, por la ley de
DeMorgan, tenemos que ( ) y, a partir de la ley
de la doble negacin se sigue que . En
consecuencia, ( ) , y podemos escribir la negacin de
como:
( ): Juan va al lago George, pero Mara no paga las
compras de Juan.

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

Universidad de Antioquia
Facultad de Ingeniera - Ingeniera Electrnica
Matemticas Discretas 2015-I
Ejercicios de Lgica Proposicional
Monitor: Luis David Goyes Garcs
Fecha: 25 de marzo de 2015
1. Determine cul de las siguientes oraciones es una proposicin. Si la
oracin es una proposicin, escriba su negacin.
a. 2 + 5 = 19
b. Mesero, servira las nueces, quiero decir, servira las nueces a
los invitados?
c. Cul es tu nombre?
d. Para algn entero positivo n, 205 = n * 2.
e. Reglame una manzana.
f. La lnea If we cant protect the Earth, you can be damn sure
well avenge it! corresponde a la pelcula Divergent.
g. Todo entero par mayor que 4 es la suma de dos primos.
h. La diferencia de dos primos.
i. Cuntos aos tienes?
j. Clculo Vectorial es una materia de primer nivel en el pensum
de Ingeniera Electrnica, versin 4.
k. Existen 40 vocales en el alfabeto.
l. Quisiera una pizza mixta, por favor.
m. Aydame a terminar la tarea.
n. Viva Colombia, carajo!
o. Este enunciado es falso.
p. Yo siempre miento.
q. Pedro.
r. Esta frase consta de nueve palabras.
s. Cay un 6 en el dado.
t. Francia es un pas.
u. Abre la ventana.
v. 1+101=110
w. Llover.
x. Barcelona es una ciudad joven.
y. Madrid es la capital de Mxico.
Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

2. Puesto que la proposicin a es falsa, la proposicin b es verdadera y la

proposicin c es falsa, determine si cada proposicin es falsa o
verdadera:
a.
b.
c.
d.
e.
f.

()

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

3. Escriba la tabla de verdad de cada proposicin:

a.
b.
c.
d.
e.
f.
g.
h.

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

4. Formule la expresin simblica en palabras usando

:
:
a.
b.
c.
d.
e.
f.

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Facultad de Ingeniera

Matemticas Discretas

Ingeniera Electrnica

5. Formule la expresin simblica en palabras usando

: .
:
:
a.
b.
c.
d.
e.
f.
g.
h.
i.

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

6. Represente simblicamente la proposicin definiendo

: Incubus
: RHCP
:
a. Oste el concierto de Incubus y tienes los tmpanos inflamados.
b. Oste el concierto de RHCP, pero no tienes los tmpanos
inflamados.
c. Oste el concierto de Incubus o el concierto de RHCP, pero no
tienes los tmpanos inflamados.
d. No oste el concierto de RHCP y no oste el concierto de Incubus,
pero tienes los tmpanos inflamados.
e. No ocurre que: oste el concierto de rock de Incubus o bien oste
el concierto de rock de RHCP, pero no tienes los tmpanos
inflamados.

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

7. Restablezca cada enunciado en la forma de una proposicin

condicional:
a. Jos pasar el examen de MD si estudia duro.
b. Andrs har una doble titulacin en Turn si aprueba el 80% de
los crditos de su carrera.
c. Una condicin necesaria para que mi pap compre un carro
nuevo es que yo le colabore con $12000.000.
d. Una condicin suficiente para que mi pap haga el almuerzo hoy
es que yo compre unos pltanos en la tienda.
e. Cuando mi perro muera, dejar de ladrar.
f. El programa es legible slo si est bien estructurado.
g. La audiencia se aplazar si no llegan los testigos.

8. Formule la expresin simblica en palabras usando:

:
:
:
a.
b. ()
c. (()) (())
d. ((())) (())
e. ()
f. ()

9. Demuestre que:
a. ( ) ()
b. ( ) ()
c. (())()()

Matemticas Discretas 2015-I. Rubn D. Echavarra C.

MSc. Rubn Daro Echavarra C.

Universidad de
Antioquia

Matemticas Discretas

Facultad de Ingeniera
Ingeniera Electrnica

BIBLIOGRAFA
Discrete and Combinatorial Mathematics. An applied introduction. Third
Edition. Ralph P. Grimaldi. Rose-Hulman Institute of Technology. AddisonWesley Publishing Company, Inc. 1994.
Lgica proposicional. Wikipedia. Consultado {27 de septiembre de 2014}.
Disponible en: (http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional)
Matemticas Discretas. Richard Johnsonbaugh. Sexta edicin.

Matemticas Discretas 2015-I. Rubn D. Echavarra C.