MATEMÁTICA DISCRETA

Demostraciones de proposiciones utilizando leyes lógicas

PARA LA CLASE

Simplificar las expresiones, detallando las leyes lógicas que ha utilizado

1. El equivalente de:

{ [ (p  q) v p]  [(q p)  q]}  p es :

I)p q

II) p v q

III) (q  p)

2. {(pq) [(pq) v r]} q

3.  (p q) q ]Vp

4.  ( p q) p ] p

5. [~ (p v q) v (~ p v ~r)] ⇒ [r (r v ~t) ]

6.  {(p v q)  [(r  ~q) v (q v~ r)] }v [q v (~ r  q)]

7. ~ [~ (~p v q)→p]v q

8. ~ [p v(~p v~ q) ] ⟺[(p ∧q) ∧ ~(p v q)]

9. (p →~q) ∧ ~ (~q → p )

10. [(r →~s) → ~r ] → s

11. [ p ∧ (~p → q ) ] v [~ p ∧ (~p → q ) ]

Abelardo Rivera De La Cruz 1 | Página

DIONISIO OSORES
 MATEMÁTICA DISCRETA

En los ejercicios del 1 al 5, simplificar los esquemas moleculares, haciendo

uso de las leyes lógicas.

Ejercicio 1

Ejercicio 2

Ejercicio 3

Ejercicio 4

Ejercicio 5

Abelardo Rivera De La Cruz 2 | Página

DIONISIO OSORES