Describir: Логические методы в задачах диагноза