Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
Matemticas Discretas
Facultad de Ingeniera
Ingeniera Electrnica
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)
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.
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.
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
EJEMPLO 1.4
Demuestre que 0
0
Facultad de Ingeniera
Ingeniera Electrnica
Matemticas Discretas
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
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,
( ) ( )
7. 0
0
8. 0
0
9. 0 0
0 0
10. ( )
( )
Matemticas Discretas
Facultad de Ingeniera
Ingeniera Electrnica
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.
Matemticas Discretas
Facultad de Ingeniera
Ingeniera Electrnica
()
()()
()(()())
()
()
()
()()
()()
()()()()
()()
Facultad de Ingeniera
Matemticas Discretas
Ingeniera Electrnica
()
()
()
()
()()
(())(())
()()
Matemticas Discretas
Facultad de Ingeniera
Ingeniera Electrnica
9. Demuestre que:
a. ( ) ()
b. ( ) ()
c. (())()()
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.