Usuario:Chucho~eswikibooks/ejercicio2
Ejercicio 1 seccion 1.4 pagina libro: matematica progresiva 3 editorial norma autor Nelson Londoño.
decir si las siguientes proposiciones son logicamente equivalentes:
(P∧∼Q) ≡ ∼(p→q)
| P | Q | ∼Q | P∧∼Q | p→q | ∼(p→q) | |
| V | V | F | F | V | F | |
| V | F | V | V | F | V | |
| F | V | F | F | V | F | |
| F | F | V | F | V | F |
| P∧∼Q | ∼(p→q) | |
| F | F | |
| V | V | |
| F | F | |
| F | F |
Entonces:
(P∧∼Q) ≡ ∼(p→q)