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

¿Cuántas filas, N, tiene la tabla de verdad completa de ¬((¬c ∧ a) ∨ ((a → b) ∧ ¬(b ∨ c)))?

Completa la tabla de verdad (1 = verdadero, 0 = falso). ¿En cuántas filas, N, es verdadera (q ↔ ¬p) → ¬q?

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

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

¿En cuántas de las 8 filas de su tabla de verdad es verdadera (c ∨ b) ∨ ((a ∨ b) → c)? Llama a ese número N.

El argumento con premisas b → (c ∨ a); b y conclusión c no es válido. Haz clic en la fila de la tabla de verdad que es un contraejemplo.

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

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

1. 1∀x ∀y ¬R(x, y)
2. 2∃x ∀y ¬R(x, y)
3. 3∀x ∃y ¬R(x, y)
4. 4∃x ∃y ¬R(x, y)