Professional Documents
Culture Documents
1
1.1
1.2
1.3
1.4
1.5
1.6
1.7
PROPOSICIONES
OPERADORES LGICOS
PROPOSICIONES MOLECULARES
FORMAS PROPOSICIONALES
BICONDICIONAL. EQUIVALENCIAS LGICAS
ALGEBRA DE PROPOSICIONES
RAZONAMIENTOS
Lgica Matemtica
1.1 PROPOSICIONES
OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
Defina proposicin.
Conozca la notacin para proposiciones.
Reconozca proposiciones.
D ejemplos de proposiciones.
D ejemplos de enunciados que no sean proposiciones.
a las que
2. "Estoy en la clase de matemticas" (suponga que la persona que emite esta afirmacin,
efectivamente est presenciando la clase de
matemticas; en este caso esta expresin ser una
afirmacin tambin VERDADERA).
3. "Estoy en Espaa" (suponga ahora que la persona que emite sta frase se encuentra en Ecuador y no
en Espaa, entonces esta afirmacin ser una proposicin FALSA).
1.1.1 NOTACIN
De aqu en adelante adoptaremos los siguientes smbolos para el
VALOR DE VERDAD de una proposicin:
VERDADE
Lgica Matemtica
RO
FALSO
Los
1.2.1 NEGACIN
La negacin se presenta con los trminos:
El
SMBOLO LGICO
No
No es verdad que
No es cierto que
Lgica Matemtica
Analicemos lo siguiente.
Ejemplos
1.
entonces al decir:
a : "Hoy es Lunes"
2.
a : "Est lloviendo"
(ser una proposicin FALSA)
a
1
0
a
0
1
Observe que:
El operador NEGACIN
VERDAD
CAMBIA EL VALOR DE
de una proposicin.
1.2.2 CONJUNCIN
Este operador lo tenemos cuando enlazamos proposiciones con el
trmino y
En lenguaje formal se lo traduce con el
SMBOLO:
Ejemplo
CONSIDEREMOS LAS SIGUIENTES PROPOSICIONES:
a : "Tengo una moneda de 50 centavos en el bolsillo"
b : "Tengo una moneda de 25 centavos en el bolsillo"
LA CONJUNCIN DE LAS DOS PROPOSICIONES SERA:
a b : "Tengo una moneda de 50 y una de 25 centavos en el bolsillo"
Entonces al suponer que:
1.
En verdad se tiene las dos monedas ( a 1 ; b 1 ) entonces decir "Tengo una moneda de 50 y una de
25 centavos en el bolsillo", ser una VERDAD.
2.
Lgica Matemtica
3.
4.
ab
1
1
0
0
1
0
1
0
1
0
0
0
Observe que:
La
CONJUNCIN
VERDADERA
de
dos
siempre
proposiciones
cuando
es
ambas
Se lo traduce con el
SMBOLO LGICO:
Ejemplo
Considerando las mismas proposiciones anteriores:
En verdad se tenga las dos monedas ( a 1 ; b 1 )entonces decir "Tengo una moneda de 50 o una
de 25 centavos en el bolsillo", ser una VERDAD.
2.
3.
4.
Lgica Matemtica
a
1
1
0
0
ab
1
1
1
0
b
1
0
1
0
Note que:
La
DISYUNCIN
proposiciones
es
INCLUSIVA
FALSA
siempre
de
y
dos
cuando
SMBOLO LGICO
"". Como
. Aunque
a b a b
a b
Lgica Matemtica
1
1
0
0
1
0
1
0
0
1
1
0
La
DISYUNCIN
proposiciones
es
EXCLUSIVA
FALSA
siempre
de
y
dos
cuando
y tambin
SMBOLO LGICO:
a b
Antecedente
Hiptesis
Premisa
Consecuente
Tesis
Conclusin.
RELACIONADOS
con la enunciacin
Lgica Matemtica
sera:
a
1
1
0
0
b
1
0
1
0
a b
1
0
1
1
el
antecedente
es
verdadero
el
consecuente falso.
Vale la pena recalcar que, no es necesario que exista relacin
causal entre la proposicin " a " y la proposicin " b ". El valor de verdad
de la nueva proposicin depende de los valores de verdad de cada una
de las proposiciones.
Lgica Matemtica
"Es NECESARIO que un nmero sea divisible para 2, para que sea divisible para 4" (tambin: "si un
nmero es divisible para 4, necesariamente ser divisible para 2")
LA RECPROCA:: b a
LA INVERSA:: a b
Lgica Matemtica
LA CONTRARRECPROCA::
b a
Ejemplo
Sea la proposicin:
Ir el sbado, si me pagan
a : Me pagan
b : ir el sbado
y el consecuente
Luego tenemos:
Si me pagan, entonces ir el sbado
De aqu:
RECPROCA: Si voy el sbado, entonces me pagan
INVERSA: Si no me pagan, entonces no ir el sbado
CONTRARRECPROCA: Si no voy el sbado, entonces no me pagan
2.
a b
b a
a a b
Dada la proposicin:
"Si un tringulo est circunscrito en un semicrculo, entonces es rectngulo"
Escriba la recproca, la inversa y la contrarrecproca.
10
Lgica Matemtica
Las
PROPOSICIONES
MOLECULARES
son
conectadas
por
operadores
aparecen
operadores
lgicos,
se
las
a b c a b
Las proposiciones atmicas para este ejemplo seran a , b y c .
El valor de verdad de la proposicin molecular depende del valor
de verdad de las proposiciones atmicas que la componen.
Suponga que: a 1 ; b 0 y c 1 , entonces la proposicin
molecular anterior es VERDADERA, porque:
a b c a b
0 1
0
1
1
0
1
0
.
Ejercicios Propuestos 1.3
Bajo la suposicin de que los valores de verdad de las proposiciones atmicas a
VALOR DE VERDAD
b, c, d
e, y
moleculares siguientes:
1.
2.
3.
a b b a c
a b a c d e d f a b
a b a c d e d f a f
11
Lgica Matemtica
FORMA
Una
expresin
PROPOSICIONAL
constituida
por
es
una
smbolos
que
p q r p q
Donde p, q, r son VARIABLES PROPOSICIONALES, que pueden
representar proposiciones atmicas o proposiciones moleculares.
Si reemplazamos a p , q y r
por proposiciones falsas y
verdaderas los resultados son proposiciones moleculares.
El nmero de proposiciones moleculares que se generan es igual
a
2 n , donde
pq
p q r
pq
p q r p q
1
1
1
1
1
1
0
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
0
1
1
1
0
0
0
0
0
1
1
0
0
1
0
1
0
1
1
0
0
0
1
0
1
0
1
0
0
0
0
0
0
1
0
1
1
Observe que con tres variables, para no repetir casos, las dos
ltimas variables q y r mantienen las cuatros combinaciones bsicas
12
Lgica Matemtica
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
TAUTOLOGA:
Forma
estructura lgica da
VERDADERAS
proposicional
cuya
lugar a proposiciones
NO ES TAUTOLGICA
FALACIA.
CONTRADICCION:
Forma
estructura lgica da
proposicional
se la llama
cuya
lugar a proposiciones
13
Lgica Matemtica
FALSAS,
variables.
Ejemplo
Al observar la tabla de verdad de la forma proposicional
p q p q
p
pq
p q
p q p q
1
1
0
0
1
0
1
0
0
0
1
1
1
0
1
1
1
0
1
1
1
1
1
1
Notamos que el valor de verdad de las proposiciones que se generan es siempre verdadero, sim importar el
valor de verdad de las variables proposicionales intervinientes. Por tanto es una TAUTOLOGA.
Si al menos, fuese falsa en un caso, entonces sera una FALACIA.
Sean
dos
formas
implica lgicamente a
Decimos que
slo s
es una tautologa.
A B
proposicionales.
B
si y
Adicin
Simplificacin
Modus Ponens
Modus Tollens
Silogismo Disyuntivo
Silogismo Hipottico
Dilemas constructivos
Dilemas
constructivos
14
Lgica Matemtica
2.
3.
( p q) ( p q)
(( p q) (p q )) q
d)
( p q) ( p (p q))
4.
d)
(p ( p q)) q
e)
( p q) (p q)
5.
p p q q
q r p q p r
p q q p
6.
( p ( p q)) p
( p q) ( p q)
p q q p
p q q p
p q r p r q r
p q q r p r
p r q r p q r
p p q q q B
a)
b)
c)
d)
e)
7.
p q
p q
q
p
p
p q r s q s q r
1.5 BICONDICIONAL
Un nuevo operador lgico es la doble implicacin, llamado
tambin BICONDICIONAL.
El smbolo empleado es:
s y slo s
a b
1
15
Lgica Matemtica
1
0
0
0
1
0
0
0
1
Observamos que:
Sean
Decimos
dos
formas
proposicionales.
es
LGICAMENTE
que
EQUIVALENTE a
si y slo s
es una
A B
tautologa.
En este caso se escribe A B . Como tambin A B
Analicemos la tabla de verdad de las siguientes dos formas
proposicionales: p q y p q
p
pq
1
1
0
0
1
0
1
0
1
0
1
1
p
0
0
1
1
p q
p q p q p q p q
1
0
1
1
1
1
1
1
1
1
1
1
16
Lgica Matemtica
EQUIVALENTES si
Ejemplo
Al decir: Una matriz tiene inversa, si y slo si su determinante es diferente de
cero.
Se deber entender que es equivalente que una matriz
sea diferente de cero.
pq
q p
1
1
0
0
1
0
1
0
0
0
1
1
0
1
0
1
1
0
1
1
1
0
1
1
Por lo tanto, p q
contrarrecproca q p
es
Lgicamente
Equivalente
pq
su
p q r p q r
c) p q r p q r
d) p q r p q r
e) p q r p q r
f) p q r p q r
b)
17
Lgica Matemtica
p q q p
p q r p q r
p p p
p 1 p
p 0 0
DISYUNCIN
Conmutativa
Asociativa
Idempotencia
Identidad
Absorcin
p q q p
p q r p q r
p p p
p 0 p
p 1 1
LEYES DISTRIBUTIVAS
NEGACIN
p q r p q p r
p q r p q p r
0 1
1 0
OTRAS:
p q p q
p q p q
p p doble negacin
Leyes de De Morgan
p p 1
Ley del tercer excludo
p p 0
Ley de la contradiccin
p q q p Contrapositiva o Contrarrecproca
p q p q
Implicacin
p q p q
p q p q
p r q r p q r
p q p r p q r
p q r p q r Ley de exportacin
p q p q 0 Reduccin al absurdo
p q p q q p Equivalencia
p q q p
No olvide demostrarlas.
Una utilidad
continuacin.
observamos
Ejemplo 1
La TRADUCCIN al lenguaje formal de la siguiente proposicin:
Si t eres inteligente y no actas con prudencia, eres un ignorante en la
materia
Siendo: m : t eres inteligente
n : t actas con prudencia
p : t eres un ignorante en la materia
Es:
SOLUCIN:
La traduccin sera: m n p . Pero tiene apariencia diferente
a las opciones de respuestas, entonces empleando el lgebra de
18
proposiciones obtenemos:
m n p
m n p
m n p
m n p
Lgica Matemtica
Ejemplo 2
Dada la proposicin molecular: Hoy es jueves y tengo que dar un examen, pero si
hay huelga, entonces no voy a la Politcnica, y las proposiciones atmicas:
a : Hoy es jueves.
b : Tengo que dar un examen.
c : Hay huelga.
d : Me voy a la Politcnica.
Entonces la TRADUCCIN al lenguaje formal de la proposicin molecular es:
a) a b c d
b) d c a b
c) a b c d
d) a b c d
e) c d a b
a b c d , por la contrarecproca
a b d c entonces
a b d c que es lo mismo que d c a b
Traduciendo tenemos
SOLUCIN:
Si la proposicin: p q r s p r s es
entonces es VERDAD que:
a) p q 0
b) q s 1
c) r s q 0
d) q 1
VERDADERA,
e) p r 1
19
Lgica Matemtica
SOLUCIN:
atmicas.
[ p q r s ] [ p r s ] 1
0
1
1
0 1
1
0
1
0
1
1
0
1
1
0
p 1
s 1
Del anlisis se concluye que:
r0
q0
Ahora que hemos encontrado los valores de verdad de cada una de las proposiciones, , podemos
analizar una a una las opciones proporcionadas:
a)
p q 1 0 1 mas no 0 como se indica
b)
c)
respuesta.
b) p q r
e) p q r
c) p q r
2.
3.
es:
4.
a) a b c
c) a c b
b : Se es dedicado.
c : Se aprueba el Prepolitcnico.
b) a c b c
d) a b c
e) a b c
Dada la proposicin:
"Si hay huelgas y paro de transportistas, entonces las prdidas sern cuantiosas"
Entonces es EQUIVALENTE a la siguiente proposicin:
20
Lgica Matemtica
6.
7.
La proposicin:
(a b) (c a)
es EQUIVALENTE a:
a) (a b) c
b) a (b c)
c) a (b c)
d) (a b) c
e) ((a b) c) a
8. La CONTRARRECPROCA de la proposicin:
Si EL NIO es un fenmeno o un desastre natural, entonces no es una simple lluvia o un mal
pasajero es:
a) Si EL NIO es una simple lluvia y no un mal pasajero, no es un fenmeno ni un desastre natural.
b) EL NIO no es un fenmeno ni un desastre natural, porque es un mal pasajero y no una simple lluvia.
c) EL NIO es un fenmeno, desastre natural, simple lluvia y un mal pasajero.
d) EL NIO no es un fenmeno ni desastre natural, si es una simple lluvia y un mal pasajero.
e) EL NIO no es una simple lluvia o un mal pasajero solo si no es un fenmeno.
8.
Si se da la proposicin:
"Si he estudiado mucho o me he preparado lo suficiente, entonces no dar un mal examen o mis
padres estarn contentos
Entonces su proposicin CONTRARRECPROCA es:
a) Si no doy un mal examen y mis padres no estn contentos, no he estudiado ni me he preparado lo
suficiente.
b) He estudiado mucho, me he preparado lo suficiente, no dar un mal examen y mis padres estarn
contentos.
c) Ni he estudiado mucho ni me he preparado lo suficiente, porque mis padres no estarn contentos y
dar un mal examen.
d) Ni he estudiado mucho ni me he preparado lo suficiente, si doy un mal examen y mis padres estn
contentos.
e) No dar un mal examen o mis padres estarn contentos slo si he estudiado mucho.
p : Me estoy baando.
r : Quiero dormir.
11. Si la proposicin:
a) b a 0
b) e d 0
c) d a 0
d) a b 0
e) e a 0
12. Si la proposicin
FALSA, identifquela:
a) p q r q 0
b) q r p q 0
c) r p r q 1
d)
p r q r 1
21
Lgica Matemtica
1.7. RAZONAMIENTOS
OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
Defiina razonamiento.
Defina razonamiento vlido.
Determine la validez de un razonamiento suponiendo que ste es falso.
Infiriera una conclusin vlida para un razonamiento, dadas las hiptesis.
Justifique la validez de un razonamiento.
Replantee un razonamiento cambiando la conclusin para que sea vlido en el caso de que no lo sea.
H 1 H 2 H 3 H n
CONCLUSIN
OPERADOR
PRINCIPAL
TAUTOLGICA.
Es
22
Lgica Matemtica
Ejemplo 1
Determine si el siguiente razonamiento es vlido o no:
"Si soy estudioso , aprobar el curso ; si soy bailarn, no aprobar el curso.
Por lo tanto, no puedo ser estudioso y bailarn al mismo tiempo"
SOLUCIN:
Considerando las proposiciones atmicas:
a : Soy estudioso
b : Aprobar el curso.
c : Soy bailarn.
El
razonamiento
se
traduce
al
lenguaje
formal
por
la
proposicin
a b c b a c .
Entonces la forma proposicional correspondiente sera p q r q p r
molecular:
Que debera ser tautolgica para que el razonamiento sea vlido. Podemos hacer toda la tabla de verdad, pero
para evitar tal trabajo nos dedicaremos a investigar si existe por lo menos un caso de falsedad.
p q r q p r
1
1 1
?
1 1
1
1
Para que la enunciacin hipottica sea falsa, se requiere que el antecedente sea verdadero mientras que el
consecuente es falso, para lo cual p r 0 entonces p r 1 ; esto significa que p 1 y
r 1 . Ahora examinando el antecedente, observamos que para que la primera hiptesis sea verdadera se
requiera que q 1 , pero la segunda hiptesis se hace falsa porque q 0 . Esto nos hace pensar que no
va a existir por lo menos una proposicin falsa, por lo tanto el razonamiento es VALIDO.
Ejemplo 2
Dadas las siguientes hiptesis:
H 1 : La Lgica es difcil o no les gusta a muchos estudiantes.
a : La lgica es difcil.
b : La lgica les gusta a muchos estudiantes.
c : La Matemtica es fcil.
Entonces la traduccin de las hiptesis dadas seran:
H1 : a b
H 2 : c a
Cada opcin dada sera una posible conclusin, analicemos con cada una:
a) [(
p q ) ( r p )] p
1
0
0
0
0
1
1
No vlido
23
Lgica Matemtica
b) (
p q r p r
0
1
1
0 0
0
1
1
1
No vlido
1
c) [(
p q ) ( r p )] [ r q ]
0
1
0
1
1
1
1
0
0
0
d)
[(
p q ) ( r p )] [ q r ]
1
1
1
1
1
1
0
0
0
e) [(
No vlido
(Respuesta)
p q ) ( r p )] [ r p ]
1
0
1 0
0
0
0
1
1
VLIDO
No vlido
m n n p p n
m n m n
m n m n
m n n p p m
e) N.A.
24
Lgica Matemtica
H 2 : Si los clientes del Banco del Progreso recuperarn su dinero entonces no existe intranquilidad.
H 3 : El Banco del Progreso no cerr sus puertas o no existe intranquilidad.
Entonces una CONCLUSIN VLIDA para un razonamiento, es:
a) Si no existe intranquilidad entonces los clientes del Banco del Progreso no recuperarn su dinero.
b) El Banco del Progreso no cerr sus puertas.
c) No existe intranquilidad y los clientes del Banco del Progreso recuperarn su dinero.
d) Ni el Banco del Progreso cerr sus puertas, ni sus clientes recuperarn su dinero.
e) Ninguna de las conclusiones anteriores es vlida.
7. Considere las siguientes hiptesis:
H 1 : Ecuador adopt el sistema de sistema de dolarizacin y pretende mejorar su economa.
Miscelneos
1.
2.
p q r
c) p q r p q r
d) p q p q
e). q p p q
3.
25
Lgica Matemtica
q p r q r
q r p q r
r q p q r
p q r r q
4.
5.
a c
a b c
a b c
a b c
6.
La proposicin:
Junior es dbil, siempre que no coma pescado
es EQUIVALENTE a:
a) Junior es fuerte o come pescado.
b) Junior es dbil y come pescado.
c) Junior es dbil cuando come pescado.
d) Junior es fuerte o no come pescado.
e) Junior es dbil o come pescado.
7.
La CONTRARRECPROCA de la proposicin:
Si estudio y apruebo el Prepolitcnico, entonces estar alegre, es:
a) Si estoy alegre, entonces estudi y aprob el Prepolitcnico.
b) Estudio y estoy alegre, entonces aprobar el Prepolitcnico.
c) Si no estoy alegre, entonces no estudi o no aprob el Prepolitcnico.
d) Apruebo el Prepolitcnico y estoy alegre, porque estudi.
e) Si no he estudiado, entonces no aprobar el Prepolitcnico.
8.
pq
Considerando la forma proposicional
proposiciones es FALSA, identifquela.
a) La recproca es r s p q .
b)
c)
d)
e)
9.
r s .
La contrarrecproca es r s p q .
La inversa es p q r s .
La inversa es equivalente a p q r s .
p q p r q r
q r p q r p
p q q p
p q r r q
26
Lgica Matemtica
q r p
q r p
q r p
p q r
b)
c)
d)
e)
11. La siguiente proposicin: La empresa no hace publicidad y no cambia su produccin siempre que la
demanda aumente es EQUIVALENTE a:
a) Si la empresa no hace publicidad y no cambia su produccin, entonces la demanda aumenta.
b) Si la empresa hace publicidad o cambia su produccin, entonces la demanda no aumenta.
c) Si la demanda no aumenta, entonces la empresa hace publicidad y cambia su produccin.
d) La empresa hace publicidad y cambia su produccin, o la demanda aumenta.
e) La empresa hace publicidad o, si cambia su produccin entonces la demanda no aumenta.
12. Dadas las siguientes premisas:
P1 : Si se paga el rescate, entonces los tcnicos petroleros aparecern vivos y retornarn a sus pases
de origen.
P2 : Si la polica interviene, entonces los tcnicos petroleros no retornarn a sus pases de origen.
P3 : Se paga el rescate.
Entonces una CONCLUSIN VLIDA para un razonamiento es:
a) Los tcnicos petroleros no aparecen vivos.
b) No se paga el rescate.
c) Si los tcnicos petroleros no retornan a sus pases de origen, entonces la polica interviene.
d) La polica interviene.
e) Los tcnicos petroleros no retornan a sus pases de origen.
13.
q r p
p q r
r p q
r p q
27
Lgica Matemtica
s t 1
r p 0
p t s 1
s t 1
c a a c
a c b
c a c b
a b c
Si se da la proposicin:
"Si he estudiado mucho o me he preparado lo suficiente, entonces no dar un mal examen o mis
padres estarn contentos
Entonces su proposicin CONTRARECIPROCA es:
a) Si no doy un mal examen y mis padres no estn contentos, no he estudiado ni me he preparado lo
suficiente.
b) He estudiado mucho, me he preparado lo suficiente, no dar un mal examen y mis padres estarn
contentos.
c) Ni he estudiado mucho ni me he preparado lo suficiente, porque mis padres no estarn contentos y
dar un mal examen.
d) Ni he estudiado mucho ni me he preparado lo suficiente, si doy un mal examen y mis padres estn
contentos.
e) No dar un mal examen o mis padres estarn contentos slo si he estudiado mucho.
28