Matematicas

Representación de tablas de verdad

Tautología: En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. La construcción de una tabla de verdad es un método efectivo paradeterminar si una fórmula cualquiera es una tautología o no.

Contradicción : Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relacionessintácticas de unas con otras.

Contingencia : Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa, (combinación entre tautología y contradicción) según los valores

USO DE INFERENCIA LÓGICA

Inductiva : Cuando un argumento únicamente asegura que la verdad de sus premisas hace más probable que la conclusión sea verdadera, estamos anteun argumento que involucra una inferencia inductiva. El criterio de corrección para los argumentos que se basan en inferencias inductivas es mucho más flexible, menos exigente, que el que se aplica a la deducción. Un argumento inductivo tiene éxito siempre que las premisas proporcionen alguna evidencia que legitime o apoye la verdad de su conclusión. Aunque pueda ser razonable aceptar la verdadde una conclusión sobre una base inductiva, no sería completamente inconsistente suspender el juicio (es decir no pronunciarse sobre la verdad o falsedad de la conclusión) o incluso llegar a negar la verdad de la conclusión (a pesar de la verdad de las premisas).

Los argumentos inductivos, por lo tanto, cumplen con su criterio de corrección en un mayor o menor grado, dependiendo de la cantidad ycalidad del apoyo que reciban. Ningún argumento inductivo es completamente perfecto o enteramente inútil, aunque se puede elegir cuál de entre varias inducciones es relativamente mejor o peor que otras en el sentido de que se asegure la verdad de la conclusión con un mayor o menor grado de probabilidad. En tales casos, información adicional relevante de algún modo relacionada con el argumento confrecuencia puede afectar a la fiabilidad de un argumento inductivo al proporcionar otra evidencia que cambie nuestra estimación de la probabilidad de la verdad de la conclusión.

Deductiva : Cuando un argumento asegura que la verdad de sus premisas garantiza la verdad de su conclusión, se dice que involucra una inferencia deductiva. El razonamiento deductivo nos proporciona unos criterios decorrección muy altos. Una inferencia deductiva tiene éxito sólo si sus premisas proporcionan un apoyo tan completo e indudable para la conclusión, que sería completamente inconsistente o absurdo suponer simultáneamente la verdad de las premisas y la falsedad de la conclusión.

Es notable que cualquier argumento que consideremos o bien cumple con este criterio, o bien no lo cumple; la validez delas inferencias deductivas es un asunto de todo o nada, no hay medias tintas. Algunos argumentos deductivos son perfectos, de modo que si sus premisas son, de hecho, verdaderas, entonces de ello se sigue que su conclusión también es verdadera, independientemente del contenido material de dicha conclusión. Los demás argumentos deductivos que no cumplan este criterio de corrección son totalmenteincorrectos e inútiles —su conclusión puede ser falsa incluso si sus premisas son verdaderas, y ninguna información adicional podría cambiar su incorrección.

Las inferencias deductivas permiten establecer conclusiones seguras porque proceden de lo general a lo particular, o desde lo más general a lo menos general, a través de un término medio.




Equivalencia Lógica : En lógica, las...