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