Una tautologa es un caso especial de proposiciones lgicas caracterizadas por tener exclusivamente el valor verdadero en la columna final de su tabla

de verdad , independientemente del valor de las dems proposiciones. Las tautologas son muy comunes, y algunas de ellas muy importantes, tanto, que constituyen leyes o principios lgicos. La validez lgica es justamente el que no puede darse el caso de que siendo verdad el antecedente, no lo sea el consecuente. Todos los argumentos deductivos vlidos son tautologas, por definicin. Las tautologas son muy importantes en lgica porque son leyes en las que nos podemos apoyar para demostraciones matemticas. Ejemplo: p q r p p (p q) (p r q r r) V V F F F F F F V V V V F V F V V V V V V V V V

VVV F V F V F

VV F V V F F V F VV F F V F V F F V F F F F V

Verdad Indeterminada o Contingencia

Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso: .

Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3)

Una columna (Columna 4) en la que se establecen los valores de aplicando la definicin del disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3 4) Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definicin de la conjuncin entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarn los valores de la proposicin completa , cuyo valor de verdad es V o F segn la fila de los valores de A, B, y C que consideremos. (Columnas 1,4 5) Donde podemos comprobar cundo y por qu la proposicin es F. es V y cundo

Contradiccin
Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin 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 estn establecidas las relaciones

de unas con otras. Sea el caso:

Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradiccin, la conjuncin de ambos siempre es falso, dado que si A es cierto su contradiccin es falsa, y si A es falsa su contradiccin es cierta, la conjuncin de ambas da falso en todos los casos.