Если возможно сделать вывод из посылок и проверить правильность силлогизма (по модусам и по круговым схемам)

Никакая сила не является слабостью. Всякое малодушие является слабостью.
Вывод: Никакое малодушие не является силой.
Запишем силлогизм в общепринятом виде:
Никакая сила не является слабостью.
Всякое малодушие является слабостью.
Никакое малодушие не является силой.
Обозначим термины в силлогизме, определим их распределенность, укажем тип суждений, входящих в состав силлогизма:
Никакая сила (Р+) не является слабостью (М+). Суждение Е
Всякое малодушие (S+) является слабостью (М-). Суждение А
Никакое малодушие (S+) не является силой (Р+). Суждение Е
Схема силлогизма:
Р М
S М
S Р
По расположению терминов определяем, что данный силлогизм 2-ой фигуры . По типу входящих в силлогизм суждений определяем модус: ЕАЕ. Это правильный модус 2-ой фигуры.
Проверим корректность силлогизма методом построения диаграмм Эйлера.
М
Р
БП:
М
S
МП:
М
Р
S
Общая схема:
На основании имеющихся посылок можно построить только одну общую схему силлогизма, что указывает на то, что вывод однозначно следует из посылок, т.е. силлогизм правильный.
Быть счастливым, значит быть умным. Быть умным, значит не желать того, что нельзя получить.
Вывод: Не желать того, что нельзя получить значит быть счастливым.
Субъект силлогизма (S): «Не желать того, что нельзя получить»
Предикат (Р): «быть счастливым»