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

Exactamente una fila de la tabla de verdad hace falsa (p → q) ∨ (p ∧ q). Haz clic en esa fila.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Quieres demostrar ¬r → p por contrarrecíproca. ¿Qué implicación demuestras en su lugar? Haz clic en ella.

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

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

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

El argumento con premisas c → (b ∨ a); c y conclusión b 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

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

1. 1q = 1, r = 1
2. 2q = 1, r = 0
3. 3q = 0, r = 1
4. 4q = 0, r = 0