ensayo

Verdad es un procedimiento grafico que permite determinar los posibles valorde verdad de una proposición compuesta, a partir de las co es mbinaciones de los valores de verdad de sus proposiciones simples componentes. Una tabla de verdad es una grafica que se compone de columnas y renglones. En las columnas se anotan las literales que correspondes a las proposiciones simples y la proposicióncompuesta a resolver. En los renglones la combinaciones de posibles valores de verdad (verdadero o falso).
Verdad formal: tautología y contradicción
Hemos visto que en una tabla de verdad es un procedimiento para la representación grafica de una función de verdad. Una proposición compuesta es una función de verdad, si la verdad del compuesto está determinada por el valor de verdad de lascomposiciones simples que la integran y su conectiva lógica es veritativo-funcional. Asimismo, la conectiva lógica es veritativo-funcional si su expresión representa una función de verdad.
Pero, ¿Qué tipo de verdad es la que determina una tabla de verdad? El concepto de verdad se utiliza en 2 sentidos, el de verdad empírica y el de verdad formal.
Recordaremos que la lógica solo toma en cuenta las oracionessi estas son expresión de un portador de verdad. Sin embargo, a la lógica no le corresponde investigar la verdad empírica de las proposiciones., esto le corresponde a la ciencia.
EMPIRICA: de una proposición simple depende su correspondencia con la experiencia y su fundamentación en los hechos o datos a que hace referencia.
Las tablas no determinan el valor de verdad real de las proposicionescompuestas, de hecho, ni siquiera toman en cuenta valores de verdad empíricos solamente suponen y asen calculo de las posibles situaciones de verdad o falsedad en que una proposición puede representarse.
Entonces, ¿para que aprender a ser tablas de verdad?
Las tablas de verdad son un método lógico que permite saber que una proposición compuesta es una verdad formal o verdad lógica. Esto seráútil más adelante para determinar si la estructura de un argumento es válida, ya que la validez de un argumento depende de su forma lógica o de las relaciones entre premisas y conclusiones.

FORMAL: depende de la pura forma lógica o del modo en que se relacionan entre si las proposiciones componentes, sin que los hechos puedan servir para confirmar o refutar este tipo de verdades.
El análisis deuna proposición compuesta mediante a una tabla de verdad, puede revelar si esa función de verdad, es una verdad formal o no lo es. Si es una verdad formal entonces es una verdad que se puede determinar por método lógicos, y si esto no es así, por método empírico.
Las proposiciones compuestas que son verdades formales o verdades lógicas son las tautologías y las contradicciones.
Una proposicióntautológica es una proposición compuesta que en la tabla de verdad resulta verdadera en todos los casos, sin importar cual sea el contenido o valor de verdad de sus proposiciones simple componentes.
Una proposición contradictoria es una proposición compuesta que en la tabla de verdad resulta falsa en todos los casos, sin importar cual sea el contenido o el valor de verdad de sus proposicionessimples.
Tautología: siempre es verdadera. Contradicciones: siempre es falsa

Cuando la tabla de verdad de una proposicion compuesta resulta verdadera en unos cosas y falsa en otros, decimos que el valor de la proposicion compueste es contingente o indeterminado y su valor dependera de los valores de verda reales que adopten la proposiciones simples componentes.
ARGUMENTO: esdeterminar si el éste es válido, correcto o bueno o, por el contrario, es invalido, incorrecto o Malo.
Las argumentaciones, por ser prácticas humanas, no están exentas de error y, para evitar ser engañados o caer en el error, una condición necesaria, es distinguir los buenos argumentos de los malos argumentos; para ello requerimos el estudio de los argumentos bajo la perspectiva del estudio del...