3.4 - Comprobacion

¿Qué es una comprobación?

Justificación Formal, informal, geométrica, ilustración, argumento, proceso para convencer de que algo está bien.

¿Qué es una demostración?.

Para comprobar que una inferencia es válida se debe demostrar. Una demostración es un conjunto de pasos donde el último paso es la conclusión, cualquiera de los siguientes pasos es válido:

Pasos válidos en una demostración

Premisa o Axioma: en cualquier paso se puede usar una premisa, esto es, lo que suponemos válido.

Equivalencias: cualquier paso puede ser un equivalente de un paso anterior.

Regla de Inferencia: en cualquier paso se puede escribir la conclusión de una regla de inferencia si sus premisas son pasos anteriores.

Propiedades previas: cualquier teorema o propiedad conocida puede ser usado en un paso, en particular cualquier inferencia válida puede ser utilizada.