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

Exactamente una fila de la tabla de verdad hace verdadera p ↔ (¬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

Completa la tabla de verdad (1 = verdadero, 0 = falso). ¿En cuántas filas, N, es verdadera (a ∧ b) ∧ (a → b)?

Quieres demostrar (c ∨ a) → b por contrarrecíproca. ¿Qué implicación demuestras en su lugar? Haz clic en ella.

1. 1(c ∨ a) ∧ ¬b
2. 2¬b → ¬(c ∨ a)
3. 3¬(c ∨ a) → ¬b
4. 4b → (c ∨ a)

¿Es (r ∨ q) → (r ∧ q) una tautología, una contradicción o una contingencia? Haz clic en tu respuesta.

1. 1tautología
2. 2contradicción
3. 3contingencia

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

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