Определенная последовательность групп суждений, приводимых в подтверждение истинности другого суждения, называется