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 ((¬p → r) ∧ q) ∧ (q ∧ (p → r))?

((¬p → r) ∧ q) ∧ (q ∧ (p → r))
N =
2.Fácil
pqq → p11100100

Exactamente una fila de la tabla de verdad hace falsa q → p. Haz clic en esa fila.

q → p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Media
(c → b) → ac ∧ (b → a)(c → a) ∧ (b → a)c → (b → a)

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

(c ∧ b) → a
  1. 1(c → b) → a
  2. 2c ∧ (b → a)
  3. 3(c → a) ∧ (b → a)
  4. 4c → (b → a)
4.Media
tautologíacontradiccióncontingencia

¿Es ¬(q ∨ ¬q) una tautología, una contradicción o una contingencia? Haz clic en tu respuesta.

¬(q ∨ ¬q)
  1. 1tautología
  2. 2contradicción
  3. 3contingencia
5.Difícil
pqp ∨ qp¬q11100100

El argumento con premisas p ∨ q; p y conclusión ¬q no es válido. Haz clic en la fila de la tabla de verdad que es un contraejemplo.

p ∨ qp∴ ¬q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
6.Difícil

¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera ¬((¬c ↔ ¬b) ∧ ¬(a ∧ b)) ∨ (a ∧ d)? Llama a ese número N.

¬((¬c ↔ ¬b) ∧ ¬(a ∧ b)) ∨ (a ∧ d)
N =

Soluciones

  1. 1. N = 8
  2. 2. p = 0, q = 1
  3. 3. c → (b → a)
  4. 4. contradicción
  5. 5. p = 1, q = 1
  6. 6. N = 11

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