Método
directo
Este
método consiste en construir una sucesión de proposiciones
p1,
p2,
..., pn,
todas ellas verdaderas, partiendo de p=p1
y terminando en pn=q.
En cada paso, se pueden usar la hipótesis p
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:
Ejemplo
Dando
clic podrás ver
su
demostración
Para
mayor información
Puedes
consultar el tema de Lógica. Encontrarás otros métodos
y más ejemplos.