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

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

Se escribe la tabla de verdad completa de (¬(¬q ∨ p) ∨ p) ↔ ((r → q) ∨ r). ¿En cuántas filas, N, se cumple q = 1 y r = 0?

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

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

¿En cuántas de las 8 filas de su tabla de verdad es verdadera ((¬q → p) ∨ ¬r) ∨ (p ∧ (r ∧ ¬q))? Llama a ese número N.

El argumento con premisas b → a; c → a y conclusión b → c no es válido. Haz clic en la fila de la tabla de verdad que es un contraejemplo.

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

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

1. 1∃x ∃y (R(x, y) ∧ ¬R(y, x))
2. 2∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
3. 3∃x ∃y (R(x, y) → ¬R(y, x))
4. 4∀x ∀y (R(x, y) ∧ ¬R(y, x))