Tautología

Tautología. Una fórmula molecular [v] o compuesta es una tautología si y sólo si, al realizar la combinación de los valores veritativos de sus proposiciones atómicas [v] o simples componentes, el resultado de valores de su conectivo principal es en todos los casos verdadero.

                                    [(p --> q) & p] --> q

                        v  v   v  v  v   v   v

                        v  f    f   f  v   v    f

                        f   f    v  f  f    v   v

                        f   v   f   f  f    v    f

Todas las reglas lógicas de inferencia (o leyes lógicas) son tautológicas. [Véanse `equivalencia tautológica' e `implicación tautológica'].