viernes, 5 de diciembre de 2014

3.1.8 Demostración formal


Demostración Formal (Directa, Por contradicción)



Contradicción

Contradicción es aquella proposición que siempre es falsa para todos los valores de verdad, una de las mas usadas y mas sencilla es p∧p’ .

Como lo muestra su correspondiente tabla de verdad.
p
p’
p^p’
0
0
1
1
0
0


Ejemplo:
Si se tiene p: “El coche es verde”, la proposición p∧p’ equivale a decir que

“El coche es verde y el coche no es verde”. Por lo tanto se esta contradiciendo, es decir, es una falacia.

No hay comentarios.:

Publicar un comentario