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

Hoja de ejercicios de Lógica proposicional y demostraciones gratis e imprimible: 6 problemas desde nivel fácil hasta nivel de examen, con soluciones. Imprímela o guárdala como PDF.

Nueva hoja de ejercicios Practica en línea con pistas

Para docentes: pueden imprimirla, copiarla y usarla en clase gratis. Cada hoja nueva tiene valores nuevos y su propia clave de respuestas. Agradecemos un enlace a ExamProblems en la página de tu curso.

Nombre: ____________________ Fecha: ____________

1.Fácil

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

q ↔ (¬q → p)

N =

2.Fácil

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

(b → ¬a) ∨ c

N =

3.Media

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

(r ∨ p) → ¬q

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

4.Media

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

(a ∧ b) → ¬c

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

5.Difícil

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

¬∃x ∀y R(x, y)

1∃x ∃y ¬R(x, y)
2∃x ∀y ¬R(x, y)
3∀x ∀y ¬R(x, y)
4∀x ∃y ¬R(x, y)

6.Difícil

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

¬∀x ∃y R(x, y)

1∀x ∀y ¬R(x, y)
2∀x ∃y ¬R(x, y)
3∃y ∀x ¬R(x, y)
4∃x ∀y ¬R(x, y)

Soluciones

1. N = 3
2. N = 7
3. ¬¬q → ¬(r ∨ p)
4. ¬¬c → ¬(a ∧ b)
5. ∀x ∃y ¬R(x, y)
6. ∃x ∀y ¬R(x, y)

Soluciones completas paso a paso: practica este tema en examproblems.com.