Abstract: Functions defining a distance and a distinguish degree between objects described by predicate formulas are introduced. It is proved that the introduced function of distance satisfies all properties of a distance. The function of objects distinguish degree adequately reflects similarity of objects but does not define a distance because the triangle inequality is not fulfilled for it. The calculation of the introduced functions is based on the notion of partial deduction of a predicate formula.