Demostración Directa

 La demostración directa consiste en construir un razonamiento que conduzca al teorema como conclusión, o sea se demuestra una afirmación o teorema expresando las premisas que conducen directamente a ella. Por ejemplo, si se quiere demostrar q y supongamos que tenemos las premisas "p → q" (la flecha es la conectiva lógica llamada "condicional") y "p", ello se expresa así:

       p → q

p

___

Q

  Para probar que A → B (A implica a B)

 Se “parte " de A (es decir, se supone que la hipótesis A es cierta) y se “llega" a B (se demuestra entonces que la tesis B es cierta).

EJEMPLO DE DEMOSTRACION DIRECTA:

P: La fibrosis quística es una enfermedad hereditaria.

                    A                                             B

Q: Las enfermedades hereditarias se trasmiten de padres a hijos. 

                                B                                                   C

ENTONCES: 

A ---> C: La fibrosis quística se trasmite de padres a hijos.