3.1.8 Demostración formal (Directa, Por contradicción)
3.1.8
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 comments