Prueba formal Un aprueba formal es una prueba que contiene cinco partes principales, llamadas, el teorema, el dato dado, la afirmacion probada, el diagrama, y la pruebe con las afirmaciones y las rasones.