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

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

Exactamente una fila de la tabla de verdad hace falsa (¬b ∨ a) → a. Haz clic en esa fila.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

Quieres demostrar ¬p → (r ∨ q) por reducción al absurdo. ¿Qué enunciado supones al principio? Haz clic en él.

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

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

1. 1r → p
2. 2¬r ∧ ¬p
3. 3¬r → ¬p
4. 4¬p → ¬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))

¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera ((p ∧ s) ↔ q) → ((r ↔ ¬q) ∨ ¬(p → r))? Llama a ese número N.