Scribd
Cargar
92 vistas1 página

Ejercicios de Lógica Matemática

Este documento presenta una serie de ejercicios sobre lógica matemática y formas normales. Los ejercicios incluyen calcular formas normales conjuntivas y de disyunción para diferentes fórmulas lógicas, determinar si una fórmula es una tautología utilizando formas normales, y decidir cuáles afirmaciones son verdaderas empleando formas normales conjuntivas o de disyunción.

Cargado por

Juan Diego
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
92 vistas1 página

Ejercicios de Lógica Matemática

Este documento presenta una serie de ejercicios sobre lógica matemática y formas normales. Los ejercicios incluyen calcular formas normales conjuntivas y de disyunción para diferentes fórmulas lógicas, determinar si una fórmula es una tautología utilizando formas normales, y decidir cuáles afirmaciones son verdaderas empleando formas normales conjuntivas o de disyunción.

Cargado por

Juan Diego
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

Lógica Matemática-Formales Normales 1. {p ↔ q, q ∨ s} |= s → p.

4. Ejercicios 2. p → q ≡ ¬q → ¬p.
+++Ejercicio 4.1 Para cada una de las *Ejercicio 4.5 Probar, mediante FNC que la siguiente
siguientes fó rmulas, determinar si está n en fó rmula es una tautología:
FNC, en FND en ambas o en ninguna de las dos. (p → q ∧ r) → (p → (q → r))
1. (¬p ∨ q) ∧ (¬q ∨ p). Ejercicio 4.6 Decidir, utilizando formas normales, si la
2. (¬p ∨ q) ∧ (q → p). siguiente fó rmula es o no es satisfactible ( tautología): (p
3. (¬p ∧ q) ∨ (¬q ∧ p). → ¬(q → ¬r)) ∧ (r → ¬q)
4. (¬p ∧ q) ∨ (q → p). *Ejercicio 4.7 Utilizando una forma normal,
probar que la siguiente formula es tautología
5. (p ∨ q) ∧ (r ∨ ¬p) ∧ s. (satisfactible):
6. p ∨ q ∨ s. ¬(¬t ↔ (¬t ∧ p)) → ¬(p → ¬t)
7. p ∧ (¬p ∨ q) ∧ (p → s). Ejercicio 4.8 Usando formas normales, p r o b a r q u e
8. t ∨ q ∨ r ∧ s. la siguiente fó rmula es una tautología.
(E → (F ∧ G)) → (E → F) ∨ (E → G)
*Ejercicio 4.2 Calcular una FNC y/o una FND de
cada una de las siguientes fó rmulas: *Ejercicio 4.9 Calcular una forma normal
1. ¬(p ∧ (q → r)). conjuntiva de la fó rmula F sabiendo que está
compuesta con las tres variables p, q y r y que,
2. (p → q) ∨ (q → p).
para toda interpretació n I, se tiene que
3. (p ↔ q) → r.
V, si I ( p ) = I(¬q ∨ r)
4. 5. ¬(¬p ∨ ¬q → ¬(p ∧ q)). I(F) =
F, en caso contrario
6. ¬(p ↔ q → r).
*Ejercicio 4.10 Determinar una FNC y una FND
7. ¬(p ∧ q ∧ r) ∨ (p ∧ q ∨ r). de la fó rmula F cuya tabla de verdad es la
8. (p → r ∨ s) ∧ (r → s) ∧ ¬(p → s). siguiente:
p q r F
9. p∨q ↔¬ r
1 1 1 0
Ejercicio 4.3 Calcular una FNC y/o una FND de
1 1 0 0
cada una de las siguientes fó rmulas,
identificando cuales son satisfactibles 1 0 1 1
(tautologías): 1 0 0 1
1. ¬(p ∧ (q → r)). 0 1 1 1
2. (p → q) ∨ (q → p). 0 1 0 0
0 0 1 1
3. (p ↔ q) → r.
0 0 0 1
4. ¬(p ∧ (q → r)). Ejercicio 4.11 Calcular una FND de A y una FNC de
5. ¬(¬p ∨ ¬q → ¬(p ∧ q)). ¬A siendo A la fó rmula cuya tabla de verdad es:
6. ¬(p ∨ q → p ∧ q). p q r A
7. p ∨ q → p ∧ q. 1 1 1 1
1 1 0 0
8. ¬(¬p ∨ ¬q → ¬(p ∧ r)).
1 0 1 0
9. ¬(¬p ∨ ¬q → ¬(p ∧ q)). 1 0 0 0
10. p ∧ q ↔ ¬p ∨ r. 0 1 1 0
0 1 0 1
Ejercicio 4.4 Empleando una FNC o bien una 0 0 1 0
FND, segú n considere má s adecuado, decidir 0 0 0 0
cuá les de las siguientes afirmaciones son
verdaderas:

También podría gustarte