Escolar Documentos
Profissional Documentos
Cultura Documentos
Lgica Matemtica
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,
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
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.
2.
a : "Hoy es Lunes"
a : "Est lloviendo"
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
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
Si no se tiene la moneda de 50 centavos y si la de 25 centavos ( a 0 ; b 1 ), la proposicin "Tengo
3.
4.
ab
1
1
0
0
1
0
1
0
1
0
0
0
Observe que:
La
VERDADERA
siempre
cuando
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.
sera:
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
SMBOLO LGICO:
ab
Antecedente
Hiptesis
Premisa
Consecuente
Tesis
Conclusin.
RELACIONADOS
con la enunciacin
Lgica Matemtica
sera:
a
1
1
0
0
b
1
0
1
0
ab
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
0
1
.
Ejercicios Propuestos 1.3
Bajo la suposicin de que los valores de verdad de las proposiciones atmicas a , b , c , d , e , y
f son respectivamente 0,0,1,1,0,1; determinar el VALOR DE VERDAD de cada una de las proposiciones
moleculares siguientes:
2.
[(a b ) (b a )] c
{[a (b a )] (c d ) (e [d f ])} (a b )
3.
{[a (b a )] (c d )} {[e (d f )] (a f )}
1.
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.
por proposiciones falsas y
Si reemplazamos a p , q y r
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
p q
1
1
1
1
1
1
1
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
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
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
proposicionales.
implica lgicamente a
Decimos que
slo s
es una tautologa.
A B
si y
A B.
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 ))
d)
( p ( p q )) p
( p q) ( p q)
(p ( p q)) q
e)
( p q ) (p q )
b)
c)
4.
5.
6.
[p (q p )] p
[p ( p q )] q
[(q r ) ( p q )] ( p r )
[(p q ) q] p
( 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 ]
a)
b)
c)
d)
e)
7.
{{[p (p q )] q} q} B
( 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: . Que enlazando dos proposiciones
sera a b . Que significa (a b ) (b a ) y se lee a s y slo s
b .
Su tabla de verdad sera:
ab
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,
pq
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
DISYUNCIN
( p q ) (q p )
( p q ) r p (q r )
( p p) p
( p 1) p
( p 0) 0
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
(p ) p doble negacin
OTRAS:
( p q ) p q
Leyes de De Morgan
( p q ) p q
Ley del tercer excludo
( p p ) 1
Ley de la contradiccin
( p p ) 0
( p q ) (q p ) Contrapositiva o Contrarrecproca
Implicacin
( p q ) (p q )
( 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.
de las
Equivalencias
Lgicas la 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
a) m (n p )
b) p (m n)
c) m (n p )
d) (m p ) n
e) m (n p )
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 )
e) (c d ) (a b )
d) (a b ) (c d )
(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.
e) 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
a)
b)
c)
d)
e)
5.
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
6.
7.
Sea la proposicin: El autobs llega tarde, siempre que el conductor se haya desviado. Suponiendo
que la proposicin es verdadera. Entonces una proposicin EQUIVALENTE a la anterior, es:
a) Que el autobs llegue tarde es una condicin suficiente para que el conductor se haya desviado.
b) Una condicin suficiente para que el autobs llegue tarde es que el conductor se haya desviado.
c) Una condicin necesaria para que el autobs llegue tarde es que el conductor se haya desviado.
d) Si el autobs llega tarde, el conductor se ha desviado.
e) El autobs no llega tarde o el conductor se ha desviado.
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)
d)
[(r p ) (r q )] 1
[( p r ) (q r )] 1
21
Lgica Matemtica
e) [(r q ) (r p )] 0
] [
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:
El
razonamiento
se
traduce
al
a : Soy estudioso
b : Aprobar el curso.
c : Soy bailarn.
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 ] No vlido
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) [(
p q ) ( r p )] [ r p ]
1
0
1 0
0
0
0
1
1
(Respuesta)
VLIDO
No vlido
[
]
[(m n ) (n p )] ( p n )
[(m n ) m] n
[m (n m )] n
[(m n ) (n p ) p] m
P1 : Si estudio, aprender.
P2 : Si aprendo, aprobar el curso.
P3 : O practico tenis o no practico tenis.
P4 : No apruebo el curso.
Entonces una conclusin C que hace el RAZONAMIENTO VLIDO es:
a) Estudio
b) No estudio
c) Apruebo el curso
d) Aprendo
e) N.A.
24
Lgica Matemtica
a) Si t muestras la verdad, revelars lo ridculo de las pretensiones del hombre. Si el hombre es
prepotente, es porque no se ha revelado lo ridculo de sus pretensiones. El hombre es prepotente. Por
consiguiente, t no muestras la verdad.
b) Si Genaro tom el tren especial, entonces estuvo en el accidente, y si estuvo en el accidente, entonces
no asisti a la reunin. Genaro tom el tren especial o no asisti a la reunin. Luego, Genaro estuvo en
el accidente.
c) O Caldern tiene enemigos en la administracin o, si excede su cuota, recibir un ascenso. Caldern no
recibir un ascenso. Luego, Caldern tiene enemigos en la administracin o no exceder su cuota.
d) Si pago al sastre no me quedar dinero. Solamente puedo llevar a mi novia al baile si tengo dinero. Si
no la llevo al baile, se sentir desdichada. Pero si le pago al sastre, no me entregar el traje, y sin el
traje no puedo llevar a mi novia al baile. O le pago al sastre o no le pago. Luego, mi novia tendr que
sentirse desdichada.
5. Si se tiene un razonamiento con las siguientes premisas:
H 1 : Si el freno falla o el camino est helado, entonces el coche no parar
a)
b)
c)
d)
e)
H 2 : Si los clientes del Banco del Progreso recuperarn su dinero entonces no existe intranquilidad.
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 : Todos los alumnos aprueban el examen.
r : El profesor recompensa a los alumnos con una semana de vacaciones.
[ ]
[
]
[(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 ) .
( p q ) (r s ) .
( p q ) (r s ) .
La forma proposicional dada es equivalente a ( p q ) (r s ) .
La inversa es
La inversa es equivalente a
[
]
( p q ) [( p r ) (q r )]
[(q r ) ( p q )] (r p )
p [q (q p )]
( p q r ) (r q )
26
Lgica Matemtica
10.
(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.
(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