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

(q ∧ p) ∨ (¬q ∧ p)

N =

2.Fácil

Exactamente una fila de la tabla de verdad hace falsa ((¬a ↔ ¬c) → ¬b) → (¬c → a). Haz clic en esa fila.

((¬a ↔ ¬c) → ¬b) → (¬c → a)

1a = 1, b = 1, c = 1
2a = 1, b = 1, c = 0
3a = 1, b = 0, c = 1
4a = 1, b = 0, c = 0
5a = 0, b = 1, c = 1
6a = 0, b = 1, c = 0
7a = 0, b = 0, c = 1
8a = 0, b = 0, c = 0

3.Media

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

(c ∧ a) → b

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

4.Media

¿Qué fórmula es lógicamente equivalente a q → p? Haz clic en ella.

q → p

1¬p ∧ ¬q
2p → q
3¬p → ¬q
4¬q → ¬p

5.Difícil

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

¬(¬(s → p) ∨ ¬(q → (s → r)))

N =

6.Difícil

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

¬(((a ↔ b) ∧ a) ∧ ((c ∧ d) ∧ (b → c)))

N =

Soluciones

1. N = 2
2. a = 0, b = 0, c = 0
3. c → (a → b)
4. ¬p → ¬q
5. N = 11
6. N = 15

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