Resultado de la búsqueda: metodo directo :consiste en suponer la verdad de la primisas y probar que la conclucion es nesesariamente verdadera.