Método directo
Este
método consiste en construir una sucesión de proposiciones 
,
todas ellas verdaderas, partiendo de 
y terminando en 
.
En cada paso, se pueden usar la hipótesis 
y resultados previamente establecidos, como definiciones, axiomas u otras
proposiciones, incluyendo las que se van construyendo en la sucesión.
La expresión lógica de este método es la siguiente:
Ejemplos
Dando
clic en cada uno, podrás ver su demostración
Ya
lo has usado
Te
habrás
dado cuenta que ya has usado este método, por ejemplo cuando resuelves
un sistema de ecuaciones, cuando deduces una fórmula o cuando deduces
propiedades geométricas, etc.
