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

Exactamente una fila de la tabla de verdad hace falsa ((r → q) ∨ (r ↔ p)) ∨ (q ∧ p). 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

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

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

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

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

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

El argumento con premisas c ∨ a; 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, c = 1
2. 2a = 1, c = 0
3. 3a = 0, c = 1
4. 4a = 0, c = 0