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.

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

¿Cuántas filas, N, tiene la tabla de verdad completa de (b ∧ a) ∨ ¬((a ∧ ¬b) ∨ ¬c)?

(b ∧ a) ∨ ¬((a ∧ ¬b) ∨ ¬c)
N =
2.Fácil

¿Cuántas filas, N, tiene la tabla de verdad completa de ¬(¬(p ∨ q) ∧ r) → (p ↔ r)?

¬(¬(p ∨ q) ∧ r) → (p ↔ r)
N =
3.Media
tautologíacontradiccióncontingencia

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

(p ↔ r) ∧ (p ↔ ¬r)
  1. 1tautología
  2. 2contradicción
  3. 3contingencia
4.Media
(p ∨ r) ∧ qp ∧ (r ∨ q)(p ∧ r) ∨ (p ∧ q)(p ∨ r) ∧ (p ∨ q)

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

p ∨ (r ∧ q)
  1. 1(p ∨ r) ∧ q
  2. 2p ∧ (r ∨ q)
  3. 3(p ∧ r) ∨ (p ∧ q)
  4. 4(p ∨ r) ∧ (p ∨ q)
5.Difícil
c ∧ ¬a¬cac

Se dan las premisas (b ∧ c) → a; b; ¬a. ¿Qué conclusión se sigue de ellas? Haz clic en ella.

(b ∧ c) → ab¬a
  1. 1c ∧ ¬a
  2. 2¬c
  3. 3a
  4. 4c
6.Difícil

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

((¬q ∧ ¬r) ↔ p) ∨ ((r → s) ∨ q)
N =

Soluciones

  1. 1. N = 8
  2. 2. N = 8
  3. 3. contradicción
  4. 4. (p ∨ r) ∧ (p ∨ q)
  5. 5. ¬c
  6. 6. N = 15

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