Sea P una proposición entonces
P ↔~ (~ P)
es una proposición verdadera.
Demostración en prosa.
Al usar el teorema de la doble negación (1)P→~(~P) y ("2~(~P)→P se une a (1) y (2) por medio de la conjunción, usamos la definición de bicondicional y tendremos P←→~(~P).
Al usar el teorema de la doble negación (1)P→~(~P) y ("2~(~P)→P se une a (1) y (2) por medio de la conjunción, usamos la definición de bicondicional y tendremos P←→~(~P).
Nice lecture. Keep updating Artificial Intelligence Online Training
ResponderEliminar