Косвенное обоснование тезиса, выступающего членом дизъюнкции, путем установления ложности и исключения всех других конкурирующих членов дизъюнкции называется … :