Все жители этого города умеют плавать Иванов не живет в этом городе

Все жители этого города (М+) умеют плавать (Р-). (большая)
Иванов (S+) не живет в этом городе (М+). (меньшая)
Иванов (S+) не умеет плавать (Р+). (заключение)
Логическая форма:
Все М есть Р.
Это S не есть М.
Это S не есть Р.
Фигура – 1, модус – АЕЕ.
Проверка правил терминов:1. В каждом силлогизме должно быть только три термина . – Правило выполнено. 2. Средний термин должен быть распределен, по крайней мере, в одной из посылок. – Правило выполнено. 3. Термин распределен в заключении, если и только если он распределен в посылках. – Правило нарушено. Предикат в посылке не распределен.
Проверка правил посылок: 4