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

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

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

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

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

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

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

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

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

Se dan las premisas p → r; ¬r. ¿Qué conclusión se sigue de ellas? Haz clic en ella.

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