Documentos de Académico
Documentos de Profesional
Documentos de Cultura
p q r ∼q p∧∼q → (q ∨ p) ∧r
V V V F F V V V
V V F F F V V F
V F V V V V V V
V F F V V F V F
F V V F F V V V
F V F F F V V F
F F V V F V F F
F F F V F V F F
1 2 3 6 4 5
⇔ [¬(p ⋀ q ) ⋁ r] Morgan
⇔ [(p ⋀ q ) → r] Implicación
Respuesta: Queda demostrado mediante leyes de equivalencia lógica que
[p → (q → r)] es lógicamente equivalente a [(p ∧ q) → r]
Ejercicio 3: Determine la validez lógica del siguiente argumento:
edrito pasará el examen de matemática para la computación II si l ogra estudiar bien los temas.
“P
Si l ogra pasar el examen, entonces p asará la materia. Por lo tanto si e
studia los temas l ogrará
pasar la materia.”
p : P edrito pasará el examen de matemática para la computación II
q : P edrito logra estudiar bien los temas.
r : P edrito logra pasará la materia.
q→p
p→r
---------
∴q→r
Tenemos que: [(q → p) ⋀ (p → r)] → (q → r)
Por Teorema 4 (Pág. 57 - j) sabemos que eso es una tautología,pero podemos comprobar la
validez lógica por tablas de verdad:
p q r (q → p) ⋀ (p → r) → (q → r)
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 0 0 1 1 0
0 1 1 0 0 1 1 1
1 0 0 1 0 0 1 1
1 0 1 1 1 1 1 1
1 1 0 1 0 0 1 0
1 1 1 1 1 1 1 1
1 2 4 3 6 5
= [ n−1
m ]+1
= [ 5005−1
54 ] + 1
= [ 5004
54 ] + 1
= [92.667] + 1
= [93.667]
Respuesta: Queda demostrado que si hay al menos 90 maneras de escoger seis números
del 1 al 15, de modo que todas las selecciones al sumarse den el mismo resultado.
Ejercicio 5: Trace el digrafo de R 2 que corresponde al digrafo mostrado en la figura
siguiente, detalle los elementos que se relacionan mediante R 2 . (Pág. 118)
a b c d
a 0 1 1 1
b 1 0 1 0
MR =
c 0 0 1 0
d 0 0 0 0
Haciendo el producto de matrices: (Pág. 36)
0 1 1 1 0 1 1 1 1 0 1 0
M R2 = 1 0 1 0 ⊙ 1 0 1 0 = 0 1 1 1
0 0 1 0 0 0 1 0 0 0 1 0
0 0 0 0 0 0 0 0 0 0 0 0
Una relación que es reflexiva, simétrica y transitiva, sobre un conjunto X, se conoce como una
relación de equivalencia sobre X. y como es reflexiva, simétrica y transitiva, entonces es una
relación de equivalencia sobre X.
(a) ¬r ⋀ q
¬q ⋀ p : Juan no se conf ió y aprobó el examen de M atemática.
(b) ¬q ⋁ p
¬q ⋁ p : Juan no aprobó el examen de M atemática o estudió.
(c) ¬(p ⋁ q )
¬(p ⋁ q ) : N o es cierto que Juan estudió o aprobó el examen de M atemática.
(d) p ⋁ ¬r
p ⋁ ¬r : Juan estudió o no se conf ió.
0 0 1 1 0 1
0 1 0 0 0 1
1 0 1 1 0 1
1 1 1 0 1 1
1 3 2 4 5
(b) 7
S i lo intento con ahínco y tengo talento, me convertiré en músico. p→q
S i me convierto en músico, entonces seré f eliz. q→r
--------------------------------------------------------------- ---------
∴ Si no voy a ser f eliz, entonces no intentare con ahínco o no tengo talento. ∴ ¬r → ¬p
(c) 6
M e volvere f amoso o seré escritor. p⋁q
N o seré escritor ¬q
--------------------------------------------------------------- ----------
∴p
∴ M e volvere f amoso.
1 − {c, c, c} 1 1 1 1
P1 = 2
· 2
· 2
= 8
2 − {c, c, x} P2 = 1
2
· 1
2
· 1
2
= 1
8
3 − {c, x, c} P3 = 1
· 1
· 1
= 1
2 2 2 8
4 − {c, x, x} P4 = 1
8
1
5 − {x, c, c} P5 = 8
1
6 − {x, c, x} P6 = 8
1
P7 = 8
7 − {x, x, c}
1
P8 = 8
8 − {x, x, x}