Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿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.