Hoja de ejercicios de Lógica proposicional y demostraciones con soluciones

Exactamente una fila de la tabla de verdad hace falsa ¬(p ↔ q) ∨ (¬q → p). Haz clic en esa fila.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Exactamente una fila de la tabla de verdad hace falsa (¬a ∨ c) ∨ ((b ∧ a) ↔ ¬c). Haz clic en esa fila.

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0

Quieres demostrar q → (r ∨ p) por reducción al absurdo. ¿Qué enunciado supones al principio? Haz clic en él.

1. 1¬q ∧ (r ∨ p)
2. 2¬q ∧ ¬(r ∨ p)
3. 3¬q → ¬(r ∨ p)
4. 4q ∧ ¬(r ∨ p)

¿Qué fórmula es lógicamente equivalente a ¬(r ∨ p)? Haz clic en ella.

1. 1¬r ∧ p
2. 2¬r ∨ ¬p
3. 3r ∨ ¬p
4. 4¬r ∧ ¬p

¿Qué enunciado es equivalente a ¬∃x F(x), con la negación desplazada hasta el interior? Haz clic en él.

1. 1∃x F(x)
2. 2∃x ¬F(x)
3. 3∀x ¬F(x)
4. 4∀x F(x)

Se dan las premisas q → r; r → p; ¬p. ¿Qué conclusión se sigue de ellas? Haz clic en ella.

1. 1¬q ∧ p
2. 2p
3. 3q
4. 4¬q