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).
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).
