Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

En sentido estricto, prueba sin supuestos o premisas iniciales. Pero en general, una inferencia deductiva, una deducción, una prueba. La demostración correcta sigue y observa reglas establecidas, y la incorrecta no las observa. Una demostración es formal si recurre a fórmulas y métodos formales, lenguajes formales o a un cálculo lógico para probar que una determinada fórmula es una consecuencia lógica de otras u otra (derivación).