Usuario:Andresgarcia87/ejercicio 1 grassman

Ejercicio 4 Pag 14, Libro: Mat. Progresiva Edicion 3

Demostrar que ∼(∼P∧∼Q) ≡ P∨Q

1) ∼(∼P∧∼Q) Premisa

2) ∼(∼P) ∨ ∼(∼Q) Ley de De Morgan

3) P∨Q Doble Negación

P	Q	∼P	∼Q	∼P∧∼Q	∼(∼P∧∼Q)
V	V	F	F	F	V
V	F	F	V	F	V
F	V	V	F	F	V
F	F	V	V	V	F

P	Q	P ∨ Q
V	V	V
V	F	V
F	V	V
F	F	F

---

Luego:

∼(∼P∧∼Q) ≡ P∨Q

Y es demostrado por leyes y por tablas de verdad