Экскурс в историю логики. Виды высказываний. Диаграммы Эйлера-Вена. Четыре фигуры силлогизмов.