Логический прием, который обосновывает истинность какого-либо суждения с помощью других суждений, истинность которых уже доказана