Una tautología es una fbf que es verdadera para cualquiera de sus posibles interpretaciones (i.e. su tabla de verdad sólo tendrá Vs en la columna correspondiente a su conectiva principal).

(v. contradicción, contingencia, equivalencia tautológica)