Beruflich Dokumente
Kultur Dokumente
LISTADO 1: LÓGICA
Introducción a la Matemática Universitaria - 520145
Observación: Los ejercicios marcados con (P) son los ejercicios a resolver en las clases prácticas.
1) Verifique cuáles de las siguientes afirmaciones son proposiciones. De cada proposición diga si es simple o
compuesta y determine su valor de verdad, justificando adecuadamente.
√ √ √
1.1) 25 − 9 = 25 − 9, 1.5) ¿A qué hora sales de clases?,
2
1.2) (y + 5) = y 2 + 52 , 1.6) si 3 es un número par, entonces 9 también lo
2x + y y es,
1.3) =2+ ,
x x 1.7) 2 es un número impar si y sólo si 4 también lo
1.4) 3 es un número par, es.
2) Con la información entregada en cada caso, determine el valor de verdad de las siguientes proposiciones
compuestas:
2.1) (P) p ∧ (p → q), sabiendo que p → q tiene valor de verdad falso,
2.2) ∼ p → (p ∨ q), sabiendo que q tiene valor de verdad verdadero,
2.3) (P) [p ∨ [(p → r) ↔∼ r]] → (r ∧ p), sabiendo que r tiene valor de verdad falso,
2.4) (p → r) ∧ (∼ p ∨ q), sabiendo que p tiene valor de verdad falso,
2.5) (∼ p ∧ r) →∼ (∼ q ∨ p), sabiendo que (p ∧ q) → r tiene valor de verdad falso.
3) Conociendo el valor de verdad de las siguientes proposiciones compuestas y la información adicional entre-
gada, determine en cada caso el valor de verdad de la proposición r.
3.1) q →∼ r tiene valor de verdad falso,
3.2) p → (q∧ ∼ r) tiene valor de verdad falso y q tiene valor de verdad verdadero,
3.3) ∼ r ↔ q tiene valor de verdad verdadero y (p ∧ q) → s tiene valor de verdad falso.
4) Sean p, q, r y s proposiciones lógicas. Determine si las siguientes afirmaciones son verdaderas o falsas.
Justifique en cada caso.
5) Sean p, q y r proposiciones lógicas. Construya la tabla de verdad asociada a cada una de las siguientes
proposiciones e indique en cada caso si la proposición dada es tautologı́a, contingencia o contradicción.
Justifique su respuesta.
1
LISTADO 1: LÓGICA, IMU (520145) 2
p4 : Todo número natural x satisface que él es divisible por 8 si y sólo si es divisible por 12.
p5 : Si un número x ∈ N es múltiplo de 12, también es múltiplo de 8.
p6 : Existe un número real x ∈ [−1, 1] tal que para todo y ∈ [−1, 1] se cumple que x2 + y 2 ≤ 1.
p7 : Para cualquier número real x ∈ [−1, 1] existe otro número real y ∈ [−1, 1] tal que x2 + y 2 ≤ 1.
6.1) Escrı́balas simbólicamente y determine su valor de verdad, justificando su respuesta en cada caso.
6.2) Niegue las proposiciones p1 , p4 y p6 , escribiendo las negaciones tanto en forma simbólica como en
lenguaje usual.
En práctica: p1 , p2 , p6 y p7 .
7) Sean p(x), q(x) y s(x) las siguientes funciones proposicionales.
p(x) : |x − 1| = 2, q(x) : x − 4 ≤ 0, s(x) : ∃ y ∈ R+ : x + y 2 = 4.
7.1) Determine el conjunto de validez de cada una de las funciones proposicionales dadas.
7.2) Determine el valor de verdad de las siguientes proposiciones lógicas, justificando sus respuestas y
niegue las proposiciones i, ii, v y vi.
p3 : ∀ z ∈ Z+
0 : ∃ x ∈ R : x > z, p4 : ∃ z ∈ Z+
0 : ∀ x ∈ R : x > z.