Вторник, очередная лекция по логике

Сегодня начинаем логику предикатов. Ну то есть Настоящую Большую Логику, где мы уже не с предложениями в целом работаем, а залезаем внутрь преложения.

Все основные вещи будут сказаны сегодня, так что рекомендую прийти всем, кто может.