TABLAS DE VERDAD

Introducción

En estos temas que son “Validez de tablas de verdad” y “Demostración de argumentos” veremos que utilizando las tablas de verdad, que ya hemos visto, solo que en el tema de validez de tablas de verdad veremos como una tabla de verdad es verdadera (TAUTOLOGIA), falsa (CONTRADICTORIAS), indeterminadas (CONTINGENTES). La validez de tablas de verdad nos ayudan a saber cuando nuestra preposición es correcta o incorrecta.

La demostración de argumentos nos dice que los argumentos se componen de una regla que a cierto número de preposiciones a las cueles se les llama premisas y se les deriva otra preposición llamada conclusión, sin importara si son compuestas o simples. Las reglas nos ayudan a comprobar la validez de un argumento, son procedimientos derivados de la lógica simbólica. En las cuales se presentan una serie de reposiciones son parte para llegar a una conclusión.

La verdad empírica nos ayuda a confrontar un hecho con la realidad lo cual nos dice si un argumento es verdadero o falso, pero en la validez utilizamos as reglas de la lógica simbólica y así podemos decir si un argumento es válido o invalido.

Las leyes de implicación nos ayudan a saber si es válido o invalido nuestro argumento y para ello existen reglas que nos indican cómo darles forma correcta, entre estas leyes están el Modus Ponendo Ponens, Modus Tollendo Tollens y Modus Tollendo Ponens.

Las leyes de equivalencia nos ayudan con otro tipo de argumentos en los cuales estas leyes interfieren para deducir su equivalencia, los argumentos en las que interinen estas leyes son aquellos que tiene un conectivo principal uno que nos deduce a una equivalencia.

...