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

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

Completa la tabla de verdad (1 = verdadero, 0 = falso). ¿En cuántas filas, N, es verdadera b ∨ a?

¿Es (b ↔ a) ∧ (b ↔ ¬a) una tautología, una contradicción o una contingencia? Haz clic en tu respuesta.

1. 1tautología
2. 2contradicción
3. 3contingencia

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

1. 1(a ∧ c) ∨ (a ∧ b)
2. 2a ∧ (c ∨ b)
3. 3(a ∨ c) ∧ b
4. 4(a ∨ c) ∧ (a ∨ b)

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

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

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

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0