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