Tablas de verdad.
Las tablas de verdad nos manifiestan los posibles valores de verdad de cualquier posicion molecular, asi como el analisis de la misma en funcion de las posiciones que la integran, encontrandonos con los siguientes casos:
1.-Verdad indeterminada o Congenita:
Se entiende por verdad contingente, o verdad de hecho, aquella posicion que puede ser verdadera o falsa, segun los valores de las proposiciones que la integran. Sea el caso de A interseccion (B union C).
Su tabla de verdad se construye de la siguiente manera:
Donde podemos comprovar cuando y porque la proposicion A interseccion (B union C) es V (verdadero) y cuando es F (falso).
2.-Contradiccion:
Se entiende por proposicion contradictoria, o contradiccion, aquella posicion 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 estan establecidad las relaciones de unas con otras.
Sea el caso: [(A interseccion B)interseccion -(A union B)] interseccion C.
3.-Tautologias:
Se entiende por proposicion tautologica, o tautologia, aquella proposicion que en todos los casos posibles de su tabla de verdad se valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de la proposiciones que la forman, sino de la forma en que estan establecidas las relaciones sintacticas de unas con otras.
Sea el caso: [(A tal que B)interseccion(B tal que C)]tal que(A talque C)
