Логика. 2.2. Запись суждений в виде формулы

Тайм-коды и полезные ссылки: ► 0:06 Квантор всеобщности и квантор существования ► 1:36 Пример ► 2:52 Построение отрицаний: замена квантора на противоположный перенесение отрицания на предикат ► 3:30 Пример ► Плейлист “Логика“