Resultado de la búsqueda: conclusion de logica formal y no formal