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

¿Cuántas filas, N, tiene la tabla de verdad completa de ((a → c) ∨ b) ∧ (¬c ↔ ¬(a ∨ b))?

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

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0

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

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

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

1. 1¬b ∧ ¬c
2. 2¬b ∨ ¬c
3. 3¬b ∧ c
4. 4b ∨ ¬c

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

El argumento con premisas p → q; ¬p y conclusión ¬q 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