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

Exactamente una fila de la tabla de verdad hace verdadera p ↔ (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

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

¿Es (r ∨ p) → (r ∧ p) 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 c ∨ (b ∧ a)? Haz clic en ella.

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

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

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

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

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