tareas

TABLAS DE VERDAD
Una tabla de verdad es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. Lastablas nos manifiestan los posibles valores de verdad de cualquier proposición molecular, así como el análisis de la misma en función de las proposiciones que la integran, encontrándonos con lossiguientes casos:
Verdad Indeterminada o Contingencia
Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa, según los valores de las proposicionesque la integran.
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 deotra 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 relaciones sintácticas de unas con otras.
Tautologías
Seentiende por proposición tautológica, o tautología, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de losvalores de verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras.

En realidad toda la lógica está contenida en las tablasde verdad, en ellas se nos manifiesta todo lo que implican las relaciones sintácticas entre las diversas proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.
La grancantidad de operaciones que hay que hacer para una proposición con más de 4 variables.
Esta dificultad ha sido magníficamente superada por la rapidez de los ordenadores, y no presenta dificultadalguna.
Que únicamente será aplicable a un esquema de inferencia, o argumento cuando la proposición condicionada, como conclusión, sea previamente conocida, al menos como hipótesis, hasta comprobar que...