Эти суждения содержат общий термин «обвиняемый». Это средний термин (M).Данная энтимема - с пропущенным заключением.

MP

S M

S – P

где S – NN; P – обязан доказывать свою невинность.

Таким образом,  заключение:

NN не обязан доказывать свою невинность.

Восстановленный категорический силлогизм представляет рассуждение по первой фигуре. Правила первой фигуры:

1. Большая посылка – общее суждение.
2. Меньшая посылка – утвердительное суждение.

Правила соблюдены.

Вывод следует.

Модус: ЕАЕ (Celarent)

Задача 7.

Можно ли получить данные обобщения с помощью простой индукции?

Ни один студент нашей группы не является неуспевающим.

Решение.

Да, можно. Количество студентов в некоторой группе невелико, и каждого из них можно проверить на успеваемость. Если каждый студент этой группы успевает, то обобщение делается с помощью полной индукции.

Схема ее:

S1 имеет признак P

S2имеет признак P

. . . . . . . . . . . . . . . . . . . . . .

Snимеет признак P

S1, S2 . . . Sn исчерпывают класс К.

Все предметы класса К имеют признак P.

В данном случае

                          А - не является неуспевающим