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