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

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

Se escribe la tabla de verdad completa de (c ↔ (b ∧ a)) ∨ (a → b). ¿En cuántas filas, N, se cumple a = 1 y b = 0?

¿Qué fórmula es lógicamente equivalente a p ↔ r? Haz clic en ella.

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

Quieres demostrar (q ∧ r) → p por contrarrecíproca. ¿Qué implicación demuestras en su lugar? Haz clic en ella.

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

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

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

Se dan las premisas a → c; a. ¿Qué conclusión se sigue de ellas? Haz clic en ella.

1. 1c
2. 2¬a
3. 3a ∧ ¬c
4. 4¬c