¿Qué es?
No se ha añadido ninguna twiki todavía.
Procedimiento por el que se demuestra que un enunciado o una fórmula es una consecuencia lógica o una verdad lógica. Una fórmula es una consecuencia lógica de otra u otras si no hay ninguna interpretación o asignación que haga verdaderas las premisa y falsa la conclusión; una fórmula es una verdad lógica, o una tautología, si es verdadera para cualquier interpretación.