Definicin de tautologa

Tautologa es un trmino que proviene de un vocablo griego y que hace referencia a larepeticin de un mismo pensamiento a travs de distintas expresiones. Una tautologa, para la retrica, es una afirmacin redundante. Es habitual que las tautologas sean consideradas como un error en el lenguaje o una falta de estilo .Sin embargo, es posible apelar a las tautologas para enfatizar una cierta idea. Por ejemplo: Puede confirmar que el acusado es culpable ya que vi el asesinato con mis propios ojos. Se trata de una tautologa ya que siempre vemos con nuestros propios ojos (o, en otras palabras, es imposible ver algo con los ojos de los dems). Otras tautologas son Voy a subir arriba a buscar un libro y vuelvo o Tengo que salir afuera para regar las plantas. Siempre que se sube es hacia arriba; del mismo modo, salir implica trasladarse afuera de algo. Por lo tanto dichas aclaraciones carecen de sentido y resultan innecesarias para la comprensin. Cuando la tautologa supone una explicacin redundante que no aporta un nuevo conocimiento, se suele hablar de perogrullada o verdad de Perogrullo: Soy lo que soy. La expresin en la que aparecen trminos redundantes (como subir arriba o salir afuera), por otra parte, recibe el nombre de pleonasmo. En el mbito de la lgica, una tautologa es una frmula de un sistema que resulta verdadera para cualquier interpretacin. En otras palabras, se trata de una expresin lgica que es verdadera para todos los posibles valores de verdad de sus componentes atmicos.

FUNTE.http://definicion.de/tautologia/

Contradiccin
En lgica, una contradiccin es una incompatibilidad entre dos o ms proposiciones. Por ejemplo, las oraciones llueve y no llueve y ni llueve ni truena, pero llueve y truena expresan contradicciones. En lgica proposicional, una contradiccin se define como una frmula que resulta falsa para cualquier interpretacin, es decir para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas. Con esta definicin, toda contradiccin es la negacin de una tautologa, y toda tautologa es la negacin de una contradiccin.

Fuente http://es.wikipedia.org/wiki/Contradicci%C3%B3n

Contingencia
Posibilidad que suceda alguna cosa; problema o hecho que se presente de forma imprevista. En lgica y filosofa, la contingencia es el modo de ser de lo que no es necesario ni imposible, sino que puede ser o no ser el caso.1 En general la contingencia se predica de los estados de cosas, los hechos, los eventos o las proposiciones.1 Existe un debate sobre si es aceptable hablar de entidades contingentes (o entidades necesarias o imposibles),1 conocido como el debate en torno a las modalidades de dicto (de la palabra) y de res (de la cosa). La relacin entre necesidad, posibilidad y contingencia es fcil de malentender.1 Todo lo que es contingente es posible, pero no todo lo que es posible es contingente, pues aquello que es necesario tambin es posible, pero no es contingente. Por otra parte, no todo lo que no es necesario es contingente, pues lo que es imposible no es ni necesario ni contingente. En lgica modal, se dice que una frmula es contingente cuando es verdadera en al menos un mundo posible y falsa en otro.

Fuentehttp://es.wikipedia.org/wiki/Contingencia