Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Freddy De la Rosa
LOGICA
MATEMATICA
Proposiciones y no proposiciones
1. Cu
ales de los siguientes enunciados son proposiciones? Justifica tu
respuesta en cada caso.
a) 1547 es un n
umero par.
b) Cuenca es la capital de Uruguay.
c) Los elefantes vuelan.
d ) El n
umero 7 es triste.
e) Lev
antate por favor!
f ) 2x 5 = 7
g) 52 42 + 32
h) El 14 de Julio fue Lunes.
i ) El 12 de agosto de 1230 fue Martes .
j ) Est
as haciendo deporte?
k ) La caida de sol en la playa es hermosa.
l ) Este enunciado es una proposicion falsa.
m) Ma
nana llover
a en Guayaquil.
Operadores l
ogicos
2. Traduzca las siguientes proposiciones al lenguaje formal:
a) El medico no me recomendo guardar reposo.
b) No es cierto que la nevera esta encendida.
c) La computadora est
a encendida y tiene varios programas en ejecuci
on.
d ) El celular est
a encendido pero no es posible realizar llamadas.
e) Mara, Ana y Pedro asistieron a la funcion de cine vespertina.
f ) No es verdad que el se
nor Davila fue contratado y ya esta ejerciendo su cargo.
g) En estas vacaciones visitare Galapagos o el Parque Nacional Yasun.
1
LATEX
LATEX
16 = 4
a: 2 + 9 = 5
b: Las ballenas son peces.
c: Sim
on Bolvar descubrio America.
d: 52 = 132 122
Determina el valor de verdad de las siguientes proposiciones moleculares:
a) a b c d
b) (a b) (c d)
c) [a (c d)] (b c)
d ) [(d a) c] [c (a d)]
e) [b Y (d a)] [(c d) Y (a b)]
7. Determina los valores de verdad de las proposiciones a, b y c si se
conoce que la proposicion: (a b) c es falsa.
8. Determina los valores de verdad de las proposiciones a, b y c si se
conoce que la proposicion: [c (a Y b)] [a (b c)] es falsa.
9. Determina los valores de verdad de las proposiciones a, b, c y d si se
conoce que la proposicion: (c b) [a (b c)] (b d) es
verdadera.
10. Determina los valores de verdad de las proposiciones a, b, c y d si se
conoce que la proposicion: [(a b) Y (c d)] [a (b c)] es
falsa.
11. Determine el valor de verdad de las siguientes proposiciones:
4
Traducciones
12. Dadas las proposiciones:
e: Elena estudi
o toda la noche.
a: Elena aprob
o el examen.
t: Elena lleg
o tarde.
Traduzca al lenguaje formal las siguientes proposiciones:
5
LATEX
LATEX
LATEX
LATEX
Formas proposicionales
28. Indica la tipologa de cada forma proposicional.
a) (p q) q
b) (p q) (p q)
c) [(p q) (p q)] p
d ) [p (q r)] Y [q (p r)]
e) (p Y q) (r p) (p q)
f ) [(p q) (p r)] (q r)
g) (p q) [q (p r)] q
29. Sean P , Q y R formas proposicionales tales que P es una tautologa,
Q es una contradiccion y R una contingencia, determina la tipologa
de las siguientes formas proposicionales.
a) P (Q R)
b) P (R Q)
c) (P Q) R
d ) (P Y Q) R.
e) (R Y Q) (P P )
f ) (R Q) (R P )
30. Si se conoce que la forma proposicional f (p, q, r, s, t) es tautologica y
que la forma proposicional g(p, q, r, s, t) es una contradiccion, determine el valor de verdad de las siguientes proposiciones.
a) f (0, 0, 0, 0, 0)
b) f (0, 0, 1, 1, 1)
c) g(1, 0, 1, 1, 0) Y f (1, 0, 1, 1, 0)
d ) g(1, 0, 0, 1, 0) f (1, 0, 1, 0, 1)
e) [g(1, 1, 0, 0, 0) f (0, 0, 0, 1, 0)]
31. Cu
ales de las siguientes expresiones son implicaciones logicas?
a) (p q) p
b) p (p q)
c) [(p q) q] p
12
Leyes del
algebra proposicional
33. Aplicando leyes del
algebra proposicional determina la tipologa de las
siguientes formas proposicionales
a) p p
g) [(p q) p] q
b) p (p q)
h) [(p q) q] p
c) p (p q)
i ) p (p q)
d ) p [p (p q)]
j ) [p (p q)] 0
e) p (p q)
k ) [(p q) p] q
f ) (p q) q
l ) (p q) (p q)
LATEX
36. Aplicando leyes del algebra proposicional determina cuales de las siguientes expresiones son equivalencias logicas.
a) p p p
b) p q (p q)
c) p (q r) (q p) r
d ) (p q) (p r) p (q r)
e) p (q r) r (p q)
37. Cu
ales de las siguientes proposiciones son equivalentes a la proposici
on: La tubera tiene fuga porque no hay potencia en el grifo y el
valor de la planilla es alto?
a) Hay potencia en el grifo o el valor de la planilla no es alto o la
tubera tiene fuga.
b) La tubera no tiene fuga solo si hay potencia en el grifo o el valor
de la planilla no es alto.
c) Cuando hay potencia en el grifo, el valor de la planilla no es alto
o la tubera tiene fuga.
d ) El valor de la planilla es alto entonces hay potencia en la llave o
la tubera tiene fuga.
e) Solo si el valor de la planilla no es alto no es verdad que hay
potencia en el grifo y la tubera tien fuga.
38. Dadas las proposiciones:
a: Me llamas
b: Te llamo
c: Me cuelgas
Cu
ales de las siguientes proposiciones son traducciones de la proposici
on: Si te llamo, me llamas; pero solo si no me cuelgas te llamo?
a) (b a) (c b)
b) b (a c)
c) (a c) b
14
Razonamientos
40. Determine la validez de los siguientes razonamientos.
a) Si hoy es lunes, ma
nana es martes. Ma
nana es martes. Por lo
tanto, hoy es lunes.
b) Si hoy es lunes, ma
nana es martes. Hoy es lunes. Por lo tanto,
ma
nana es martes.
c) Solo si las sirenas existen los peces hablan. Los peces hablan. En
conclusi
on, las sirenas existen.
d ) Si la sequa se prolonga, hay escasez de alimentos. No hay escasez
de alimentos. Entonces, la sequa no se prolonga.
e) Basta que la selecci
on gane el partido de f
utbol para que clasifique al mundial. La seleccion no clasifica al mundial. Luego, la
selecci
on no gana el partido de f
utbol.
f ) Si el diagn
ostico no es correcto, el paciente inicia una demanda.
Si el paciente inicia una demanda la clnica recibe un llamado de
atenci
on. Por lo tanto, basta que el diagnostico no sea correcto
para que la clnica reciba un llamado de atencion.
15
LATEX
M
etodos de demostraci
on
46. Demuestra por el metodo directo que las siguientes formas proposicionales son tautol
ogicas:
a) (p r) (q p)
17
LATEX
[p (q r)] r (p r)
c) [(p q) (p q)] (q r)
d ) (p q) [q (r s)] (p r)
e) [p (q r)] (q r) (p r)
47. Demuestra por el metodo de la contrarrecproca que las siguientes
formas proposicionales son tautologicas:
a) p (q p)
b) (p q) (p Y q)
c) (p q) (q p)
d ) (p q) [(p q) (q p)]
e) (p r) {[p (q r)] q}
48. Demuestra por el metodo de reduccion al absurdo que las siguientes
formas proposicionales son tautologicas:
a) p (p q)
b) (p r) (q p)
c) (p q) (p q)
d ) [(p q) (p q)] q
e) (p q) [(p q) (q p)]
49. Demuestra por el metodo directo que si la conjuncion entre dos proposiciones es verdadera, le enunciacion hipotetica entre las proposiciones
tambien es verdadera.
50. Demuestra por el metodo de la contrarrecproque que si la enunciacion
hipotetica entre dos proposiciones es falsa, la disyuncion exclusiva entre ellas es verdadera.
51. Demuestra por el metodo de reduccion al absurdo que si la la hipotesis de la enunciacion hipotetica es falsa, la enunciacion hipotetica es
verdadera.
18