UNIVERSIDAD TÉCNICA ESTATAL DE QUEVEDO

UNIDAD DE ADMISIÓN Y NIVELACIÓN

PRIMER PERIODO ACADÉMICO 2021-2022
UAN

Asignatura: Matemáticas
Profesor: Ing. Cristóbal Peñaherrera

TALLER: Lógica matemática

1. Realice la tabla de verdad de:
a) (a ⇒ b) ⇒ [(c ∨ a) ⇒ (c ∨ b)]

2. Encuentre el valor de verdad de: [(p ⇒ q) ∨ (¬ p ∧ q)] ∧ (r ⇒ q), si:

a) p es V, q es V, r es F
b) p, r son F, q es V
c) p es F, q es F y r es F
d) si todas son verdaderas

3. Si la proposición ¬ (p ∧ ¬ q ∧ ¬ r) es falsa, entonces la proposición p → (q ∧ r) es:

4. Identifique cuál de las siguientes formas proposicionales es tautológica:

a) ¬ (¬ p ∧ ¬ q)
d) [ p ∧ (p → q)] → q
b) ¬ (¬ p ∧ q)
e) (p ∨ q) → (p ∧ q)
c) p ∨ (p ∧ q)

5. Identifique cuál de las siguientes formas proposicionales NO es una tautología.

a) ¬ (p ∨ q) → (¬ p ∨ ¬ q)
d) [¬ p ∧ (¬ p ∨ q)] ∨ p
b) (¬ p ∧ ¬ q) → ¬ (p ∨ q)
e) [p ∧ (p ∨ q)] → q
c) ¬ (¬ p ∧ ¬ q) ∨ ¬ q