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

Exactamente una fila de la tabla de verdad hace falsa (q ∨ p) → 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 (¬q → p) ∨ (q ↔ ¬p)?

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

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

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

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

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

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

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

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