pedopedopedopedo tontos los que lean esto XD XD XDEnEn [[lógica]], una '''tautología''' (del [[idioma griego|griego]] ''ταυτολογία'', decir lo mismo) es una [[fórmula bien formada]] de un sistema de [[lógica proposicional]] que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de [[Valor de verdad|valores de verdad]] que se haga a sus fórmulas atómicas.<ref name=Dictionary>{{cita enciclopedia |título=tautology |idioma=inglés |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e3047 |enciclopedia=The Oxford Dictionary of Philosophy |editorial=Oxford University Press |fechaacceso=7 de octubre de 2009}}</ref><ref name=Companion>{{cita enciclopedia |apellidos=Barcan Marcus |nombre=Ruth |título=tautology |idioma=inglés |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e2481 |enciclopedia=The Oxford Companion to Philosophy |editorial=Oxford University Press |fechaacceso=7 de octubre de 2009}}</ref> La construcción de una [[tabla de verdad]] es un [[método efectivo]] para determinar si una fórmula cualquiera es una tautología o no.<ref name=Companion/>
