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

Exactamente una fila de la tabla de verdad hace verdadera ¬((b ∧ a) ↔ a). 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 (b ∧ ¬a) ∨ (b ∨ ¬a)?

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

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

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

El argumento con premisas r → (p ∨ q); r y conclusión p 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

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

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