UNIVERSIDAD EL BOSQUE

FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMÁTICAS
MATERIA: Lógica Matemática. TEMA: Uso de Tablas de equivalencia.
Docente: Andrés Felipe Amaya Diaz.

Taller 2

Nombre: _______________________________________________________________.
1. Determine explícitamente las proposiciones y simbolice cada uno d ellos siguientes
argumentos:
a. Si no es cierto que a la vez 2 + 1 ≠ 6 y 6 no es no par, si y solo si, o 2 es impar
o 6 es impar.
b. O no es cierto que si 8 es par entonces 23 ≠ 6, o que a la vez 8 es impar y 23 no
es 6. (Determine los valores de cada proposición y halle su valor de verdad
resultante).

2. En cada uno de los siguientes enunciados si 𝑞 = 𝑉 𝑦 𝑟 = 𝐹, Hallar el valor de verdad

de "𝑝" para que el valor de verdad de todo el enunciado sea verdadero.
a. 𝑝 ↔ ¬[𝑞 → ¬[(𝑝 ∧ ¬𝑞 ) ∨ (𝑟 ∧ 𝑞 )]]
b. (¬𝑞 → 𝑝) ∨ ¬[(𝑞 ∧ 𝑟) ↔ ¬(𝑞 ∨ 𝑟)]

3. Halle el valor de verdad, de la siguiente formula, haciendo uso del árbol lógico y
teniendo en cuenta los valores de verdad cuando 𝑝 = 𝑉, 𝑞 = 𝐹 𝑦 𝑟 = 𝑉.
a. (¬𝑞 ∧ ¬𝑝) ↔ ¬[(𝑝 → 𝑟) ∨ (¬𝑟 ∨ ¬𝑝)]
b. ¬(𝑝 ↔ 𝑞 ) → [(𝑝 ∧ ¬𝑞 ) ∨ (¬𝑝 ∨ 𝑞)]

4. Compruebe si los siguientes enunciados lógicos son equivalentes entre sí, por medio
de las tablas de verdad:
a) ¬(𝑞 → (𝑟 ∧ 𝑝)) ≡ 𝑝 → ¬(𝑞 ∨ 𝑟)

5. Haga uso de las tablas de equivalencias lógicas (Entregadas en clase), como

aplicaciones de las leyes del algebra proposicional y no por las tablas de verdad para:

5.1. Demostar la equivalencia 𝑝 ↔ 𝑞 ≡ (𝑝 ∧ 𝑞 ) ∨ (¬𝑝 ∧ ¬𝑞 ) (Dada en la tercera

tabla de equivalencias).
 5.2. Demostrar la equivalencia (𝑝 ∧ 𝑞 ) ∨ (¬𝑝 ∧ 𝑞 ) ≡ 𝑞 (Dada al final de la primera
tabla de equivalencias).
5.3. Determine si (¬𝑞 ∧ (𝑝 → 𝑞)) → ¬𝑝 es o no una tautología.
5.4. Simplifique:
a. ¬((𝑝 ∨ 𝑞 ) ∧ 𝑟) ∨ 𝑞
b. ¬ (𝑝 → (𝑞 ∨ (𝑞 → 𝑟)))
c. Forma normal conjuntiva:
(𝑝 ∨ 𝑞 ) ∧ 𝑝 ∧ (𝑞 ∨ 𝑟) ∧ (𝑝 ∨ ¬𝑝 ∨ 𝑟) ∧ (¬𝑞 ∨ 𝑟)
6. Transforme las siguientes expresiones lógicas en otras equivalentes con la conectiva
que se indique en cada caso y simplificar si es posible:
a. (𝑝 ↔ 𝑞 ) ↔ [(𝑝 → 𝑞 ) ∨ (𝑞 → 𝑝)] a conjunción.
b. (𝑝 → 𝑞 ) ↔ 𝑟 a disyunción.
c. ¬(¬𝑝 ∨ 𝑞 ) a condicional.