1-я форма (утверждающая). Общая формула её следующая: S есть или Р1, или Р2, или Р3 S не есть ни Р1 ,ни Р2. Следовательно, S есть Р3. Например, установлено, что данное вещество (S) содержит в себе или хлор (P1), или бром (Р2). Дальнейший анализ показал, что данное вещество не содержит в себе хлора. Следовательно, оно содержит бром. В меньшей посылке первой формы отрицаются все предикаты, указанные в большей посылке, кроме одного. Из посылок закономерно следует вывод, что субъекту принадлежит оставшийся предикат.