UNIVERSIDAD ANDINA

NSTOR CCERES VELSQUEZ

JULIACA

ESCUELA DE POSTGRADO

MAESTRA EN INGENIERA CIVIL

MENCIN:
GEOTECNIA Y TRANSPORTES
ASIGNATURA:
EPISTEMOLOGA
TEMA: TAUTOLOGA
PRESENTADO POR:

Bach. JACHO QUEA, AL AMRICO

DOCENTE: Dr. GREGORIO SNCHEZ CCALLO
JULIACA PER

noviembre 2015

TAUTOLOGA
En lgica, una tautologa (del griego , "decir lo mismo") es una
frmula bien formada de un sistema de lgica proposicional que resulta
verdadera para cualquier interpretacin; es decir, para cualquier asignacin de
valores de verdad que se haga a sus frmulas atmicas. La construccin de
una tabla de verdad es un mtodo efectivo para determinar si una frmula
cualquiera es una tautologa o no
Tablas de verdad
En un sistema de lgica proposicional, una interpretacin no es ms que una
funcin que asigna un nico valor de verdad a todas las frmulas atmicas bajo
consideracin. Diferentes interpretaciones, por lo tanto, difieren slo en las
asignaciones de valores de verdad que hacen. Una tautologa es una frmula
bien formada que bajo cualquier interpretacin de sus componentes atmicos,
tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una
frmula cualquiera es una tautologa, basta con considerar todas las posibles
interpretaciones de las frmulas atmicas, y calcular el valor de verdad del
todo. Esto se logra mediante una tabla de verdad. Por ejemplo, considrese la
frmula p q. Como a cada frmula atmica puede asignrsele uno de dos
posibles valores de verdad, hay en total 2 2 = 4 posibles combinaciones de
valores de verdad. Es decir, cuatro interpretaciones posibles: o ambas son
verdaderas; o p es verdadera y q falsa; o p es falsa y q verdadera; o ambas son
falsas. Esto puede presentarse mediante una simple tabla:

p
F
V
F
V

q
F
F
V
V

pq
V
V
V
V

Si una frmula tiene n frmulas atmicas, entonces tiene 2 n interpretaciones

posibles. En muchos casos, por lo tanto, las tablas de verdad pueden ser muy

grandes. Lo importante, sin embargo, es que dado que la lgica proposicional

no admite frmulas infinitas, el nmero de interpretaciones posibles siempre
ser un nmero finito, y por lo tanto siempre ser posible decidir si una frmula
cualquiera es una tautologa o no.
Fuente: https://es.wikipedia.org/wiki/Tautolog%C3%ADa
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: la oracin Puedo confirmar que el
acusado es culpable ya que vi el asesinato con mis propios ojos presenta una
aclaracin innecesaria acerca del uso de sus ojos, dado que no podra haber
visto por otro medio; del mismo modo, el nfasis de la palabra propios puede
omitirse absolutamente.
Otros ejemplos muy comunes de tautologa se pueden apreciar en las
siguientes oraciones: Voy a subir arriba a buscar un libro y vuelvo, Tengo que
salir afuera para regar las plantas. Siempre que se sube es hacia arriba; del
mismo modo, salir implica trasladarse fuera de un lugar, por lo cual 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. Para saber si una frmula dada es una
tautologa, se debe construir una tabla de verdad.
Fuente: http://definicion.de/tautologia/