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 (¬q ↔ p) → p?

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

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

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

1. 1¬¬q → ¬¬r
2. 2¬q ∧ ¬¬r
3. 3¬¬q ∧ ¬¬r
4. 4¬¬q ∧ ¬r

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

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

El argumento con premisas p → (r ∨ q); p y conclusión r no es válido. Haz clic en la fila de la tabla de verdad que es un contraejemplo.

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