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