Aportación por Mauricio Luna

Asi es como esto queda demostrado porque atgumentos verdaderos porducen conclusiones verdaderas

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)