Vergara Guerra Victoria Jacueline (APORTACIÓN)

En la vida cotidiana se pueden utilizar las tablas de verdad, para demostrar la validez o invalidez de nuestros argumentos tomando en cuenta que "argumentos verdaderos nos producen conclusiones verdaderas" un ejemplo es el siguiente:

Demostrar la veracidad o falcedad de la frace: "Todas las mujeres son bellas"


P: Todas las mujeres son bellas

Q: Las mujeres son inteligentes

R: Todas las mujeres tienen novio


El problema planteado:

Las mujeres son bellas o inteligentes, si una mujer es inteligente entonces tiene novio, no todas las mujeres tienen novio, comprobaremos que las mujeres son bellas.

Por lo tanto tenemos que:

PˇQ, Q→R, ¬R :. P



TABLA DE VERDAD:



Tenemos una contingencia.



VALIDACIÓN

Método Directo



Demostración:
1. PˇQ
2. Q→R
3. ¬R

4. Q (1, Ley de simplificacion)
5. R (2, Modo tolendum Ponens)
6. ¬R (2,5 Modo Tollendum Tollens)
7. P (1, Ley de simplificacion)



Método Indirecto


(Existe una contradicción en ¬R por lo que comprobamos que P es verdadera)

Demostración:
1. PˇQ
2. Q→R
3. ¬R

4. Q (1, Ley de simplificacion)
5. R (2, Modo tolendum Ponens)
6. ¬R (Modo Tollendum Tollens)
7. P (1, Ley de simplificacion)
8. ¬P (contradiccion con 1 y 6)