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

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

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

Completa la tabla de verdad (1 = verdadero, 0 = falso). ¿En cuántas filas, N, es verdadera p ∧ (r ↔ q)?

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

1. 1a ∧ ¬b
2. 2¬a ∨ ¬b
3. 3¬a ↔ ¬b
4. 4a ↔ ¬b

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

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

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

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

El argumento con premisas p → r; ¬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, r = 1
2. 2p = 1, r = 0
3. 3p = 0, r = 1
4. 4p = 0, r = 0