You are on page 1of 27

LGICA MATEMTICA

Favin Arenas A. y Amaury Camargo







Universidad de Crdoba
Facultad de Ciencias Bsicas e Ingenieras
Departamento de Matemticas




1.2 Introduccin a la lgica matemtica Lgica Matemtica
UNIDAD DE APRENDIZAJE I
1.2. Introduccin a la lgica matemtica
La verdad y la mentira, palabras opuestas que utilizamos a diario para tomar
decisiones, sean estas correctas o no. Debemos valorar cada cosa; pero es
razonable que no todas las expresiones se pueden valorar, o...Alguien se
atrevera a contradecir a quien pregunte por la hora?, por supuesto que no, y
aunque a usted no le guste algn color signica que por ello a nadie mas le
gustar?.Claro que no! En este caso podemos decir que es una situacin sub-
jetiva o dependiente del individuo que lo exprese. Tambin hay expresiones
que para la mayora de las personas tiene un valor nico, por ejemplo .la rosa
es una or, en algunas tendremos que ser bien explcitos para evitar malos
entendidos, por ejemplo: Jess tiene cinco letras. a quien nos referimos al
hombre llamado Jess a la palabra Jess?. Por lo tanto una proposicin es
una armacin de la cual se puede armar que es cierta o que es falsa. Para
expresarnos con claridad utilizamos conjuntos de palabras con sentido lgi-
co, sin embargo, qu es en realidad lgica? Cuando escuchamos expresiones
como:
Su respuesta fue lgica
Es ilgico pensar que no lo notar
Lgicamente...
En realidad estamos expresando lo que la mayora de las personas hara
o escogera como correcto, o dicho de otra forma, el sentido comn.
ser cierto que el sentido comn es el menos comn de los sentidos?
Favin Arenas. 7 Camargo Bentez.
1.3 Objetivos Lgica Matemtica
1.3. Objetivos
El alumno estar en la capacidad conocer, utilizar y aplicar los siguientes
elementos bsicos para la solucin de un problema:
Resolver proposiciones compuestas utilizando los conectivos lgicos.
Hallar el valor de verdad de una proposicin a travs de la conjuncin,
disyuncin, condicional, bicondicional y negacin a travs de proposi-
ciones simples.
Construir la tabla de verdad de una proposicin compuesta, y decidir
si es una ley.
Favin Arenas. 8 Camargo Bentez.
1.4 Competencias Lgica Matemtica
1.4. Competencias
Sustenta una proposicin compuesta como una tautologa a partir de
su tabla de verdad.
Identica en un teorema el antecedente y el consecuente.
Desarrolla el proceso de sntesis a partir de la construccin de proposi-
ciones compuestas utilizando los conectivos lgicos.
Favin Arenas. 9 Camargo Bentez.
1.5 Estrategias pedaggicas o actividades de aprendizaje Lgica Matemtica
1.5. Estrategias pedaggicas o actividades de apren-
dizaje
Mesa redonda.
Presentacin de trabajos.
Sesin de Chat.
Sesin Foro.
Talleres
Encuentro presencial
1.6. Recursos de aprendizaje
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.
Favin Arenas. 10 Camargo Bentez.
1.7 Proposiciones Lgica Matemtica
1.7. Proposiciones
La lgica es toda una disciplina en la que las reexiones y el razonamien-
to son fundamentales. Es estudiada tambin por la losofa, pero, aqu nos
referiremos por lgica a la Lgica matemtica. El elemento bsico sobre el
que se desarrolla toda esta teora se llama proposicin.
De todo lo anterior una proposicin es una armacin con sentido com-
pleto de la cual se puede armar que es cierta o que es falsa.
Ejemplo 1.
1. La sal es un compuesto qumico
2. 10 < 14
3. 13 es un nmero impar
4. El sol sale de noche
5. 45 + 5 = 30
6. De que color es la pared?
Las armaciones 1, 2, 3, 4 y 5. son proposiciones aunque no todas son
verdaderas siguen siendo proposiciones.
A esta propiedad de las proposiciones de ser verdadera o falsa se le llama
valor de verdad.
Las proposiciones se representan con letras minsculas, usualmente p, q,
r, s, t,..
Favin Arenas. 11 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
Existen casos donde el sujeto del que se habla en la proposicin no est
denido o no se conoce, por lo que tiene una incgnita.
A estos casos les llamamos frases proposicionales. (Suele llamarles proposi-
ciones abiertas)
1. x + 12 = 20
2. Alguien es un ingeniero famoso
3. Mi nombre es "fulano de tal"
4. Tengo x dinero en el banco
1.8. Clases de proposiciones
1. Proposiciones simples o atmicas: Son aquellas que no se pueden frag-
mentar en proposiciones menores.
a) La luna es un satlite natural
Los dgitos son nueve
4 es un nmero par
Todos los nmeros impares son primos
Los pinginos son aves
2. Proposiciones compuestas o moleculares: Las proposiciones simples se
pueden conectar, y construir proposiciones llamadas compuestas. sta
operacin puede hacer que cambie su valor de verdad.
Favin Arenas. 12 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
"Las rosas son rojas y las violetas azules"es un enunciado com-
puesto por los subenunciados "las rosas son rojas
2
"las violetas
son azules".
"El es inteligente o estudia todas las noches"es, implcitamente,
un enunciado compuesto por los subenunciados "El es inteligente
2
"estudia todas las noches".
La propiedad fundamental de un enunciado compuesto es que su valor
de verdad est completamente determinado por los valores de verdad
de sus subenunciados junto con la manera como estn conectados para
formar el enunciado compuesto. Comenzamos con un estudio de algunas
de estos conectivos.
Utilizaremos las letras p; q; r(en minsculas) para denotar proposiciones.
Adems una proposicin puede tomar el valor de 1 si es verdadera,
0 si es falsa, esto tambin se espera que ocurra en las proposiciones
compuestas, por esto es necesario una tabla que de la oportunidad
de vericar todas las posibles combinaciones, la llamaremos Tablas de
verdad
1.8.1. Proposiciones conjuntivas, p . q
Dos enunciados cualesquiera se pueden combinar con la palabra
2
"para
formar un enunciado compuesto llamado la conjuncin de los enunciados
originales. Simblicamente, p .q denota la conjuncin de los enunciados p y
q, que se lee "p y q".
Favin Arenas. 13 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
el valor de esta proposicin conjuntiva depender de que las dos proposi-
ciones que la conforman sean verdaderas
1. p : El dos es un nmero par (V)
2. q : Siete es un nmero primo (V)
3. r : El ocho es un nmero primo (F)
as que :
p . q : El dos es un nmero par y siete es un nmero primo (V)
En caso de que una de las dos sea falsa entonces toda la proposicin conjun-
tiva lo ser.
r . q : El ocho es un nmero primo y siete es un nmero primo (F)
La tabla de verdad del enunciado compuesto p . q est dada por la sigu-
iente tabla:
p q p . q
1 1 1
1 0 0
0 1 0
0 0 0
Para ilustrarlo: en una tubera de acueducto se han colocado 2 grifos
numerados p y q respectivamente si se abre p escribimos 1, si la cerramos
escribimos 0. la nica forma en que salga agua es p = 1 y q = 1 en cualquier
otro caso no saldr agua.
Favin Arenas. 14 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
1.8.2. Proposiciones disyuntivas, p . q
Dos enunciados se combinan con la palabra .
o
"para formar un enunciado
compuesto llamado la disyuncin de los enunciados originales. Simblica-
mente, p . q denota la disyuncin de los enunciados p y q, que se lee "p o
q".
El valor de esta proposicin conjuntiva depender de que las dos proposi-
ciones que la conforman sean no sean falsas.
La tabla de verdad del enunciado compuesto p . q est dada por la sigu-
iente tabla:
p q p . q
1 1 1
1 0 1
0 1 1
0 0 0
En este caso la nica manera en que no salga agua es que ambos grifos
estn cerrados
q
p
Favin Arenas. 15 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
1.8.3. Proposiciones disyuntivas exclusivas p Y q
Dos enunciados se pueden combinar con la palabra .
o
"para formar un
enunciado compuesto llamado la disyuncin de los enunciados originales.
Simblicamente, p Y q denota la disyuncin de los enunciados p y q, que
se lee "p o q".
La tabla de verdad del enunciado compuesto p Y q est dada por la sigu-
iente tabla:
p q p Y q
1 1 0
1 0 1
0 1 1
0 0 0
1.8.4. Proposiciones condicionales, p q
Cuando se unen dos proposiciones con el conectivo entonces , se forma
una proposicin que solo es falsa si las primera es verdadera y la segunda es
falsa (solo en este orden).
Ejemplo 2.
Sea p : El canguro es marsupial ( 1 )
q : America es habitat de todos los marsupiales ( 0 )
El canguro es marsupial entonces Amrica es habitat de todos los marsu-
piales.
en forma simblica
Favin Arenas. 16 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
p q p q
1 0 0
En las proposiciones condicionales llamamos a la primera proposicin
que la compone antecedente y a la segunda consecuente. Cuando el an-
tecedente tiene una relacin directa con el consecuente podemos utilizar el
smbolo de la implicacin ==
La suma de dos nmeros naturales es un nmero natural esto implica que
2+3 es nmero natural
La tabla de verdad de la proposicin compuesta p q est dada por la
siguiente tabla:
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Ahora el grifo p tiene un problema, se encuentra mal y cuando alguien
la abre esta se cierra, cuando alguien la cierra esta se abre, por eso la nica
forma en que no salga agua es que se abra p (en realidad se cierra) y se cierre
q
1.8.5. Proposiciones bicondicionales, p q
Cuando se unen dos proposiciones con el conectivo si y solo si , se forma
una proposicin que solo es falsa si las dos tienen valores de verdad diferentes.
Favin Arenas. 17 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
q
p
Ejemplo 3.
Sea p : todo nmero impar es primo ( 0 )
q : 9 es menor que 6 ( 0 )
Todo nmero impar es primo si y solo si 9 es menor que 6, es como decir:
Todo nmero impar es primo nica y exclusivamente si 9 es menor que 6
Como ambas proposiciones son falsas se cumple la armacin compuesta
La tabla de verdad del enunciado compuesto p q est dada por la
siguiente tabla:
p q p q
1 1 1
1 0 0
0 1 0
0 0 1
La proposicin bicondicional p q es equivalente por su tabla de verdad a
(p q) . (q p)
Favin Arenas. 18 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
q
p
q
p
Compruebe la tabla de verdad para este circuito de acueducto:
p q (p q) . (q p)
1 1
1 0
0 1
0 0
1.8.6. Proposiciones negativas:~ p
Aunque no es un conectivo lgico (como .; .; Y ,==; =) genera nuevas
proposiciones con solo cambiarle el valor de verdad y se simboliza anteponien-
do ~ a la letra de la proposicin:
Ejemplos:
p : todo nmero impar es primo
~ p : no todo nmero impar es primo
q : 9 es menor que 6
~ q : 9 no es menor que 6
La tabla de verdad de la negacin de p : ~ p est dada por la siguiente tabla:
Favin Arenas. 19 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
Problema 1.
p
p ~ p
1 0
0 1
Problema 2. Supngase que en este circuito de acueducto llamamos abrir
con el 1 y cerrar con el 0. Si sale agua 1 y si no sale 0. Completa la
siguiente tabla de acuerdo a la grca.
p
r
q
Favin Arenas. 20 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
grifo p grifo q grifo r Sale?
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
1.8.7. Validacin de leyes lgicas
A partir de las tablas de verdad anteriores se pueden calcular la tabla de
verdad de proposiciones mas complejas.
Ejemplo 4. Hallar La tabla de verdad de la proposicin: (p q) .(q. ~ p)
para esto se determinan inicialmente las tablas de:p; q; ~ p; p q; q. ~ p
y por ltimo (p q) . (q. ~ p)
p q ~ p p q q. ~ p (p q) . (q. ~ p)
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
Favin Arenas. 21 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
El nmero de lneas de la tabla de verdad depende del nmero de variables
de la expresin y se puede calcular por medio de la siguiente formula.
N
o
de lneas = 2
n
Donde n = nmero de variables distintas.
El propsito de estas tablas de verdad consiste en probar si dos proposi-
ciones son equivalentes o no, o tal vez si una implica a la otra.
Ejemplo 5. Veamos, se desea probar que (p q) es equivalente a (~ p.q)
para eso validamos la proposicin (p q) =(~ p . q) mediante su tabla de
verdad
Ejemplo 6.
p q ~ p p q ~ p . q (p q) =(~ p . q)
1 1 0 1 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1
Ntese que el valor de verdad es en todo caso verdadero, cuando esto
ocurre le llamamos TAUTOLOGA, cuando tenemos una tautologa ten-
emos una ley lgica.
Veamos otro ejemplo: (p q) . (p r) =p (q . r)
Favin Arenas. 22 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
p q r (p q) (p r) (q . r)
1 1 1 1 1 1
1 1 0 1 0 0
1 0 1 0 1 0
1 0 0 0 0 0
0 1 1 1 1 1
0 1 0 1 1 0
0 0 1 1 1 0
0 0 0 1 1 0
(p q) . (p r) p (q . r) (p q) . (p r) =p (q . r)
1 1 1
0 0 1
0 0 1
0 0 1
1 1 1
1 1 1
1 1 1
1 1 1
Un ejemplo de las leyes lgicas son :
Leyes de Idempotencia
p . p =p
p . p =p
Favin Arenas. 23 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
Leyes conmutativas
p . q =q . p
p . q =q . p
p Y q =q Y p
p q =q p
Leyes asociativas
p . (q . r) =(p . q) . r
p . (q . r) =(p . q) . r
p (q r) =(p q) r
Leyes distributivas
p . (q . r) =(p . q) . (p . r)
p . (q . r) =(p . q) . (p . r)
Leyes de absorcin
p . (p . q) =p
p . (p . q) =p
Leyes de Morgan
Favin Arenas. 24 Camargo Bentez.
1.8 Clases de proposiciones Lgica Matemtica
~ (p . q) = ~ p. ~ q
~ (p . q) = ~ p. ~ q
Leyes de Involucin
~ (~ p) =p
Problema 3. aplica la validacin de tablas para probar las anteriores leyes.
Tambien hay ocasiones en que lo que se desea probar es que dos proposi-
ciones no pueden ser simultneamente verdaderas. veamos
Ejemplo 7. pruebe que las proposiciones p es excluyente con ~ p
se debe validar (p. ~ q)
p q ~ q (p. ~ q)
1 1 0 0
1 0 1 0
0 1 0 0
0 0 1 0
Ejemplo 8. pruebe que las proposiciones (p. ~ q) es excluyente con (p q)
se debe validar (p. ~ q) . (p q)
Favin Arenas. 25 Camargo Bentez.
1.9 Cuanticadores Lgica Matemtica
p q ~ q p q (p. ~ q) (p. ~ q) . (p q)
1 1 0 1 0 0
1 0 1 0 1 0
0 1 0 1 0 0
0 0 1 1 0 0
A casos como estos donde la tabla termina solo con ceros se le llama
CONTRADICCIN
1.9. Cuanticadores
Si, en una condicin dada p(x), atribuimos a la variable x los valores
de su dominio, obtendremos, como vimos, una proposicin. Otra forma, ex-
tremadamente importante en Matemtica, de obtener proposiciones a partir
de una condicin p(x), es anteponerle a esta los smbolos \x; x y !x que
se llaman cuanticadores (cuanticador universal , cuanticador existencial
y cuanticador existencial de unicidad respectivamente).
La proposicin \x : p(x) se lee para todo x, tal que p(x) y signica
que p(x) es verdadera, atribuyendo a x cualquier valor de su dominio.
La proposicin x : p(x) se lee existe un x, tal que p(x) y signica que
p(x) es verdadera, para algn x de su dominio, n"no signica "nico". por
ejemplo "Mara Teresa tiene una amiga que la quiere mucho"es posible que
tenga ms de una, es por esto que la proposicin !x : p(x) se lee existe un
nico x, tal que p(x) y signica que p(x) es verdadera si y solo si x toma
un nico valor de su dominio.
Favin Arenas. 26 Camargo Bentez.
1.9 Cuanticadores Lgica Matemtica
Por ejemplo, siendo x una variable real, son verdaderas las proposiciones:
1) \x : x
2
+ 1 > 0
2) x : x
2
4 = 0
3) !x : 8x 4 = 0
Justicacin:
1) Como ningn nmero al cuadrado es negativo
\x : x
2
_ 0
\x : x
2
+ 1 _ 0 + 1
\x : x
2
+ 1 _ 1 y como 1 > 0
\x : x
2
+ 1 > 0
2) Mostremos los valores de x en los cuales:x
2
4 = 0 ;
x
2
= 4
x =
_
4
x = 2
solo con lo valores 2 y 2 la proposicin es verdadera
3) Se pide 8x 4 = 0 as que el valor de x es:
8x 4 = 0
8x = 4
x =
4
8
x = 2
y este es el nico valor de x que lo hace verdadero
Favin Arenas. 27 Camargo Bentez.
1.10 Actividades Lgica Matemtica
1.10. Actividades
Ejercicio 1. 1. Cules de los enunciados siguientes pueden considerarse
como proposiciones
a) Si llueve es porque estamos en invierno.
b) Un tringulo es una gura plana con tres lados.
c) Un tringulo es un polgono de tres ngulos.
d) La losofa es triangular
e) 5
2
= 21
f) Un cuadrado es una gura plana de cuatro lados.
g) Un cuadrado es un polgono de cuatro ngulos rectos
h) Un rectngulo es un polgono de cuatro ngulos rectos.
i) Medelln es ciudad de eterna primavera.
j) Un rectngulo es una gura verde.
k) x
2
+ 3x 4 = 0
l) Todas las naranjas son amarillas.
m) Algunas manzanas son rojas.
2. Para que la proposicin abierta x +5 < 10 tenga valor de verdad falso,
x debe reemplazarse por:
a) 2
b) 3
Favin Arenas. 28 Camargo Bentez.
1.10 Actividades Lgica Matemtica
c) 4
d) 5
3. En la proposicin: S respetamos la vida entonces Colombia ser un
pas feliz. Podemos escoger:
p : Respetamos la vida
q :Colombia ser un pas feliz
Se construy la tabla de verdad para esta proposicin compuesta, pero
tiene un error. Localzalo, marcando con x el rengln correcto
p q p q
1 0 1
0 0 1
1 1 1
0 1 1
4. Una gura de 4 lados se llama cuadriltero, si tiene 5 lados se llama
pentgono, si tiene 6 lados se llama hexgono En el enunciado anterior
identica todas las proposiciones cerradas.
(Represntalas con las letras p, q, r).
5. Con las proposiciones clasicadas en el ejercicio anterior. escribe en
palabras las proposiciones compuestas siguientes:
a) p ~ q
b) ~ (p q)
Favin Arenas. 29 Camargo Bentez.
1.10 Actividades Lgica Matemtica
c) (p q ) (p r)
6. Supn que p es verdadera, q es falsa y r es falsa cmo es el valor de
verdad de las siguientes proposiciones
a) p. ~ q
b) ~ (p q)
c) (p . q ) Y (p r)
7. Completa las siguientes tablas de verdad
a)
p q ~ q ~ p ~ p. ~ q p Y q (p Y q) . (~ p. ~ q)
1 1 1
1 0 0
0 1 0
0 0 1
b)
p q ~ q p q p. ~ q (p q) (p. ~ q)
1 1 1
1 0 0
0 1 0
0 0 1
Favin Arenas. 30 Camargo Bentez.
1.10 Actividades Lgica Matemtica
c)
p q r ((p r) . (q r)) r
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
8. Construye 3 frases que no sean proposiciones, 3 proposiciones, luego
niega las tres proposiciones.
9. Ana y Jos apostaron al marcador entre sus equipos favoritos de ftbol.
Al iniciarse el partido Jos le dice a Ana: si mi equipo gana entonces
yo pago el almuerzo La situacin puede tener los resultados que se
muestran en la tabla. En cual de todos Jos habr mentido? Escrbelo
en la tabla.
p q Jos cumpli?
Gan el equipo de Jos v Jos pag el almuerzo v
Gan el equipo de Jos v Jos no pag el almuerzo f
Perdi el equipo de Jos f Jos pag el almuerzo v
Perdi el equipo de Jos f Jos no pag el almuerzo f
10. Encuentre una expresin que solo contenga .; . y la negacin ~;para
representar:
Favin Arenas. 31 Camargo Bentez.
1.10 Actividades Lgica Matemtica
a) p q
b) p q
c) p Y q:
11. En el siguiente circuito elctrico cada interruptor est representado por
una letra , encuentra la tabla de verdad que representa este circuito y
disea otro circuito que tenga la misma tabla de verdad.
Favin Arenas. 32 Camargo Bentez.