Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TP1 MD 18
TP1 MD 18
2. Indique cuáles de las siguientes proposiciones son compuestas y expréselas de manera simbólica:
a) Si peso más de 60 kg, me voy a inscribir en el gimnasio.
b) Si me prometes guardar el secreto, entonces te cuento lo ocurrido.
c) La primera computadora digital completamente electrónica fue construida en el siglo XX.
d) 2 3 1 ó 2 3 1 ó 4 6 2
e) Aprobarás si y sólo si estudias mucho.
f) Si llueve vamos al cine, en cambio si hay sol vamos al parque.
5. Construya las tablas de verdad de las siguientes formas proposicionales; indique en cada caso si se trata
de una tautología, una contradicción o una contingencia:
a) p q b) p p
c) (p p) p d) (p q) p
e) q (p q) f) p q
1
Trabajo Práctico 1:Lógica proposicional y de predicados Matemática Discreta
10. Verifique que las siguientes formas son tautológicas, sin usar tablas de verdad. Justifique.
a) [(p q) r] [p (q r)]
b) [(p q)] (p q)
c) p q p q p q
d) p (q r ) p q p r
a) (p q)
b) (p q) (p q)
c) (p q) (p q) (p q)
d) (p q) (p q)
e) p q q r q
f) p q r q
13. Escriba las expresiones simbólicas correspondientes a los circuitos lógicos dados y construya la
correspondiente tabla de verdad:
p
p
a) p b)
q p q
14. Simplifique los siguientes circuitos lógicos a través de la simplificación de las proposiciones asociadas a
ellos:
r
p ¬p p q
a) r b) ¬q
r ¬r ¬q
c)
2
Trabajo Práctico 1:Lógica proposicional y de predicados Matemática Discreta
17. Indique las reglas de inferencia o equivalencias lógicas utilizadas en cada paso de la prueba de validez
dada para el razonamiento:
pq
pr
q r
Prueba de validez:
Paso : Justificación:
1) p q
2) (p) q
3) p r
4) (r) (p)
5) (r) q
6) [(r)] q
7) r q
8) q r
18. Utilice las reglas de inferencia para demostrar la validez de los siguientes razonamientos:
a) b) c)
pq p q p q
r (q) (r) (q) pr
p p q r
r r
p q
q r (p q) q (p q) r
d) s ( p) e) (r s) f) q r
s r (p s) p
19. Demuestre con un contraejemplo que los siguientes razonamientos no son válidos:
3
Trabajo Práctico 1:Lógica proposicional y de predicados Matemática Discreta
a) b)
pq p
p r p q
r p q
“Si la estrategia 1 se lleva a cabo, entonces la estrategia 2 también. Si la estrategia 1 no se lleva a cabo,
entonces se concretarán la estrategia 3 o la estrategia 4. Ni la estrategia 2 ni la estrategia 4 se llevaron a
cabo. Por lo tanto, se concretó la estrategia 3. ”
22. Determine el valor de verdad de las siguientes proposiciones, considerando el universo dado en cada
caso:
a) x : x 3 5 U 1,2,3
b) x : x 3 5 U 1,2,3
c) x : x 3 10 U 1,2,3,4
d) x : x 3 10 UR
e) x : x 5
2
UR
f) x : x 2 5 UN
4
Trabajo Práctico 1:Lógica proposicional y de predicados Matemática Discreta
Ejercicio 11
Resolución
La idea para resolver este ejercicio será la siguiente: comenzaremos trabajando con la proposición p1 y,
mediante la aplicación de las leyes lógicas, llegaremos a la proposición p2.
Utilizando leyes lógicas, simplifique la siguiente proposición: (p q)[(p q) q]
Resolución
Utilice las reglas de inferencia para demostrar la validez de los siguientes razonamientos:
(p q) q
(r s)
r (p s)
5
Trabajo Práctico 1: Lógica proposicional y de predicados Matemática Discreta
Resolución
1. (p q) q premisa
2. (r s) premisa
3. p q q equivalencia del condicional en 1.
4. p silogismo disyuntivo en 3.
5. r s equivalencia del condicional en 2.
6. r s ley de De Morgan / doble contradicción en 5.
7. p r s regla de conjunción entre 4 y 6
8. r p s ley conmutativa / ley asociativa del " " en 7.
9. r p s ley de De Morgan en 8.
Resolución
y : y : [p(y) (x : q(x))] y : [p(y) (x : q(x))] por negación del cuantificador universal
y : p(y) (x : q(x)) por equivalencia del condicional
y : p(y) (x : q(x)) por ley de De Morgan / ley de doblecontradicción
y: p(y) x: q(x negación del cuantificador existencial /
ley de doble contradicción