Диаграмма Эйлера-Венна: визуализация импликации и логики