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

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

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

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

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

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

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

¿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))

Se dan las premisas (q ∧ p) → r; q; ¬r. ¿Qué conclusión se sigue de ellas? Haz clic en ella.

1. 1r
2. 2p
3. 3¬p
4. 4p ∧ ¬r