TAUTOLOGIAS
Tautología: se dice de la proposición que es cierta para todo valor de verdad de sus variables, por ejemplo:

En efecto, ley es lo mismo que tautología, de manera que todas las leyes anteriores bien las podemos denominar como tautologías. Constituyen la base de la demostración lógica.
Contradicciones: se dice de la proposición que siempre resulta falsa sea cual fuere el valor de verdad de sus variables, por ejemplo:

Para saber si una proposición pudiera ser una tautología o una falacia, desarrollamos su tabla de la verdad.
CONSECUENCIA TAUTOLOGICA
Como usaremos el metodo para determinar si un argumento es correcto?
Simplemente aplicamos la definicion. Primero determinamos bajo que va-
luaciones son todas las premisas verdaderas. En seguida verificamos para cada una de ellas (y solo estas) si la conclusión es verdadera o falsa. Si para todas la conclusion es verdadera, el argumento es correcto. En cambio si hay una valuacion para la cual todas las premisas son verdaderas pero la conclusión es falsa, entonces el argumento es incorrecto.
Ejemplo

Y aplicamos el método:
