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) ∧ ¬b?

Exactamente una fila de la tabla de verdad hace verdadera (p ∧ r) ∧ ((q ↔ r) ∧ p). Haz clic en esa fila.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

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

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

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

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

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

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

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