Documente Academic
Documente Profesional
Documente Cultură
Lgica Matemtica
1
PROPOSICIONES
OPERADORES LGICOS
PROPOSICIONES MOLECULARES
FORMAS PROPOSICIONALES
BICONDICIONAL. EQUIVALENCIAS LGICAS
ALGEBRA DE PROPOSICIONES
RAZONAMIENTOS
Cotidianamente tratamos de pensar y actuar inteligentemente. Nuestras acciones estn
dirigidas a que sean o parezcan coherentes. Pero para situaciones formales un tanto
complicadas, nuestros argumentos elementales no nos ayudan a resolverlas. Es aqu donde
entra la necesidad de considerar mecanismos abstractos para el anlisis formal. La lgica
matemtica nos permite hacer estos anlisis, haciendo que todas las verdades de la razn
sean reducidas a una especie de clculo.
Con la lgica matemtica podemos precisar la equivalencia entre expresiones
abstractas, podemos analizar la validez de argumentos o razonamientos, podemos realizar
demostraciones formales,...
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.
1.
2.
"Estoy en Espaa"
3.
1.1.1 NOTACIN
De aqu en adelante adoptaremos los siguientes smbolos para el
VALOR DE VERDAD de una proposicin:
VERDADERO
1
2
Lgica Matemtica
FALSO
las
Los
SMBOLOS
PRIMERAS LETRAS
1.2.1 NEGACIN
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"
1
0
0
1
Observe que:
EL VALOR DE
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.
Lgica Matemtica
2.
3.
4.
ab
1
1
0
0
0
0
0
Observe que:
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.
Lgica Matemtica
4.
ab
1
1
0
0
1
1
1
Note que:
La DISYUNCIN
INCLUSIVA de dos
proposiciones es FALSA siempre y cuando
ambas proposiciones sean falsas.
"". Como
Lgica Matemtica
a b
1
1
0
0
1
0
1
0
0
1
1
0
"Si a entonces
b de la forma:
b",
Se traduce con el
En este caso
llama:
a y
SMBOLO LGICO: a b
Existen
OTROS
LENGUAJES
con la enunciacin hipottica. Estos son:
Antecedent
e
Hiptesis
Consecuente
Tesis
Conclusin.
RELACIONADOS
Lgica Matemtica
"
"b
"b
"b
"b
a"
"b
Ejemplo
Supngase que un padre le dice a su hijo:
"Si apruebas el preuniversitario entonces te regalar un carro".
Bien, ahora piense que:
1. Efectivamente el hijo aprueba el preuniversitario, y que el padre le regala el carro. Entonces el
padre ha dicho una VERDAD.
2. Si el hijo aprueba el preuniversitario y el padre no le regala el carro. Entonces el padre ha
dicho una MENTIRA (FALSEDAD).
3. Si el hijo no aprueba el preuniversitario y sin embargo el padre le regala el carro, aunque no
est obligado a hacerlo. Entonces el padre NO ha dicho una MENTIRA.
4. Si el hijo no aprueba el preuniversitario y el padre no le regala el carro. El padre tampoco ha
dicho una MENTIRA.
ab
1
1
0
0
1
0
1
0
1
0
1
1
Lgica Matemtica
a"
"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")
Para la implicacin
define:
a b se
LA RECPROCA:: b a
9
Lgica Matemtica
LA INVERSA:: a b
LA
CONTRARRECPROCA:: b a
Ejemplo
Sea la proposicin:
Ir el sbado, si me pagan
2.
ab
a b
b a
d) a a b
a)
b)
c)
4.
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
a b c a b
Las proposiciones atmicas para este ejemplo seran
a,
b y
c.
a b c a b
1 0
1 0 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,
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
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 , donde n es el nmero de variables proposicionales.
n
p q
r p q r p q r p q 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
12
Lgica Matemtica
Observe que con tres variables, para no repetir casos, las dos
ltimas variables q y r mantienen las cuatros combinaciones bsicas
(ambas verdaderas, una de ellas verdadera mientras la otra falsa y
ambas falsas) y la primera variable p es verdadera. Luego, lo mismo
para las dos ltimas variables, pero con la primera falsa.
Si hubiesen 4 variables proposicionales, se hacen las ocho
combinaciones anteriores con las ltimas tres variables y la primera
variable verdadera; luego, lo mismo que lo anterior pero con la primera
falsa, es decir:
p q r s
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
NO ES TAUTOLGICA
se la llama
13
Lgica Matemtica
p q p q
p q p p q 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.
p p q q
p q q p
p q p q
p q p q
p q q r p r
p q p r q r
p q p r q r
p q q r p r
p q r s p r q s
p q r s p r q s
p q r s q s p r
p q r s q s p r
Adicin
Simplificacin
Modus Ponens
Modus Tollens
Silogismo Disyuntivo
Silogismo Hipottico
Dilemas constructivos
Dilemas
constructivos
14
Lgica Matemtica
2.
a)
b)
p ( p p )
( p q ) ( p q )
c) (( p q ) (p q )) q
d) ( p q ) ( p (p q ))
3.
4.
a)
b)
c)
d)
e)
5.
( p ( p q)) p
( p q) ( p q)
(p ( p q )) q
( p q ) (p q )
p p q q
p q p p
p p q q
q r p q p r
p q q p
Sean
es:
p, q , r
a) p q q p
b)
c)
d)
e)
6.
p q q p
p q r p r q r
p q q r p r
p r q r p q r
La expresin
p p q q q B
a)
b)
c)
d)
e)
7.
p q
p q
q
p
p
HALLAR el operador
p q r s q s q r
1.5 BICONDICIONAL
Un nuevo operador lgico es la doble implicacin, llamado
tambin BICONDICIONAL.
15
Lgica Matemtica
.
Su tabla de verdad sera:
ab
1
1
0
0
1
0
1
0
1
0
0
1
Observamos que:
La
BICONDICIONAL
es
VERDADERA
cuando
ambas
proposiciones
son
verdaderas o ambas falsas, es decir cuando
tienen el mismo valor de verdad. Caso
contrario es falsa.
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
1
1
1
1
16
Lgica Matemtica
Dos
formas
proposicionales
son
LGICAMENTE EQUIVALENTES si tienen
el MISMO VALOR DE VERDAD bajo iguales
condiciones de valores de verdad de las
variables intervinientes.
Aqu se puede observar la importancia de la lgica de smbolos.
Es muy difcil precisar con nuestros sentidos que la expresin Si
estudio entonces aprender es Lgicamente Equivalente a No estudio o
aprendo.
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
p
y
p q p q p q q p
1
1
0
0
Por lo tanto, p q
contrarrecproca q p
1
0
1
0
es
0
0
1
1
0
1
0
1
1
0
1
1
Lgicamente
1
0
1
1
Equivalente
su
p q r p q r
b) 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
a)
Lgica Matemtica
DISYUNCIN
p q q p
p q r
p q q p
Conmutativa
p q r
p q r
Asociativa
p q r
p p
Idempotencia
p p
p 1
Identidad
p 0
p 0 0
Absorcin
p 1 1
LEYES DISTRIBUTIVAS
NEGACIN
p q r p q p r
0 1
1 0
p q r p q p r
p p doble negacin
OTRAS:
p q p q
p q p q
p p 1
p p 0
p q q p
p q p q
p q p q
p q p q
Leyes de De Morgan
Ley del tercer excludo
Ley de la contradiccin
Contrapositiva o Contrarrecproca
Implicacin
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 de las Equivalencias Lgicas la observamos
continuacin.
Ejemplo 1
18
Lgica Matemtica
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
d) a b c d
e) c d a b
Traduciendo tenemos
SOLUCIN:
a b c d
a b d c entonces
a b d c
d c a b
que
, por la contrarecproca
es
lo
mismo
que
VERDADERA,
19
Lgica Matemtica
SOLUCIN:
atmicas.
p q r s
p r s
0 1
1
0
1 0 1
0
1
[
] [
1 ] 1
0
1
1
0
1
p 1
s 1
Del anlisis se concluye que:
r 0
q 0
Ahora que hemos encontrado los valores de verdad de cada una de las proposiciones, , podemos
analizar una a una las opciones proporcionadas:
p q 1 0 1 mas no 0 como se indica
a)
b) q s 0 1 0 mas no 1 como se indica
c) r s q 0 1 0 1 0 0 tal como se indica y por tanto esta sera la
respuesta.
a)
2.
q:
Compro un carro
r:
p q r b) p q r c) p q r
d) p q r
e) p q r
( b a ) ( c a )
d)
e)
(b a ) (c a )
3.
b
es:
a)
c)
4.
a b c
a c b
c
b)
: Se es dedicado.
: Se aprueba el Prepolitcnico.
a c b c
d) a b c
e)
a b c
Dada la proposicin:
20
Lgica Matemtica
"Si hay huelgas y paro de transportistas, entonces las prdidas sern cuantiosas"
Entonces es EQUIVALENTE a la siguiente proposicin:
a) Si no hay prdidas cuantiosas entonces no hay huelgas o no hay paro de transportistas.
b) Si no hay prdidas cuantiosas entonces no hay huelgas y si hay paro de transportistas.
c) Si no hay prdidas cuantiosas entonces hay huelgas y no hay paro de transportistas.
d) Si no hay huelgas ni paro de transportistas entonces no hay prdidas cuantiosas.
e) Si no hay huelgas entonces no hay paro de transportistas ni prdidas cuantiosas.
5.
6.
( a b ) ( c a )
a) (a b) c
c) a (b c )
((a b) c ) a
La proposicin:
La forma proposicional:
EQUIVALENTE
es EQUIVALENTE a:
(b c )
(a b ) c
b) a
d)
p q p p q q p q q p
e)
es
a:
a) q p
b) p
c) q
d) Elija esta opcin si la forma proposicional es siempre falsa.
e) Elija esta opcin si la forma proposicional es siempre verdadera.
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.
s : Estoy cansado.
p r q s
a b d d e
b a 0
e d 0
d a 0
a b 0
e) e a 0
a)
b)
c)
d)
21
Lgica Matemtica
12. Si la proposicin
FALSA, identifquela:
p q r q 0
q r p q 0
b)
c) r p r q 1
p r q r 1
d)
e) r q r p 0
a)
13. Si la proposicin
p q r r q es
c) El valor de verdad de
p es verdadero.
q es verdadero.
p es falso.
d) El valor de verdad de
a) El valor de verdad de
b) El valor de verdad de
e) El valor de verdad de
FALSA, entonces
es VERDAD que:
es falso.
no puede ser definido.
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.
CONCLUSIN
OPERADOR
PRINCIPAL
Lgica Matemtica
TAUTOLGICA.
Es
decir
una
Implicacin
Lgica.
Como la estructura lgica de los razonamientos presenta la forma
H C , entonces podemos dedicarnos a determinar si se produce el
siguiente caso H 1 y C 0 que es el nico caso cuando la implicacin
sera falsa, entonces no sera una tautologa y por tanto el razonamiento
no es vlido.
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
molecular:
a b c b a c .
Entonces la forma proposicional correspondiente sera p q r q p r
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
1 1 1 ?
1
1
p r
1 1
0
0
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.
23
Lgica Matemtica
H1 : a b
H 2 : c a
Cada opcin dada sera una posible conclusin, analicemos con cada una:
r p
p q
0 ) ( 1 0 )] p
a) [( 0
0
1
1
1
No vlido
p q r p r
1 0 0
1 0
b) (
)
1 0
1 1
No vlido
r q
r p
p q
0
0
1]
1 )(
1 )] [ 1
c) [( 1
0
0
0
1
No vlido
r p
q r
p q
1
1]
1 )(
1 )] [ 1
[( 1
0
0
0
d)
(Respuesta)
r p
r p
p q
1
0
0
0
)(
)] [ 1 0 ]
e) [(
1
0
1
1
VLIDO
No vlido
m n n p m p
m n n p p n
m n m n
m n m n
m n n p p m
p : Veo mucha TV
considerando las proposiciones:
Entonces una conclusin para un RAZONAMIENTO VLIDO es:
a) p
24
Lgica Matemtica
p q
3. Dado el razonamiento
P1 P2 P3 P4 C
; donde:
P1
: Si estudio, aprender.
P2
P3
P4
: No apruebo el curso.
e) N.A.
a)
b)
c)
d)
e)
H 1 : El Banco del Progreso cerr sus puertas y sus clientes recuperarn su dinero.
H 2 : Si los clientes del Banco del Progreso recuperarn su dinero entonces no existe
intranquilidad.
H 2 : Si
25
Lgica Matemtica
Miscelneos
1.
p q r r q
Si la forma proposicional
es verdadera.
b)
p
p
c)
es falsa.
a)
d)
e)
es falsa y
es verdadera.
El valor de verdad de
es verdadera.
2.
3.
b) p q r p q r
c) p q r p q r
d) p q p q
e). q p p q
b)
c)
d)
e)
4.
b)
c)
d)
e)
q p r q r
q r p q r
r q p q r
p q r r q
p q
q p
pq
p q
p q
p q
es:
b)
c)
d)
e)
6.
La NEGACIN de la proposicin:
a)
5.
a c
a b c
a b c
a b c
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.
26
Lgica Matemtica
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.
b)
c)
d)
e)
9.
r s p q .
La inversa es p q r s .
La inversa es equivalente a p q r s .
La forma proposicional dada es equivalente a p q r s .
La contrarrecproca es
10.
r s . Entonces
p q q r p r
p q p r q r
q r p q r p
p q q p
p q r r q
q:
b)
c)
d)
e)
q r p
q r p
q r p
p q r
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:
Me presento al examen.
27
Lgica Matemtica
r : Reprobar.
La TRADUCCIN al lenguaje formal de la proposicin "Voy a rendir el examen porque si no me
presento al examen entonces reprobar"
es:
a)
qr p
b)
c)
d)
e)
q r p
p q r
r p q
r p q
H1 :
p q r p s t
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
28
Lgica Matemtica
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.
29