Доказать или опровергнуть умозаключение по заданному модусу путем построения диаграмм эйлера