Теорема I. Если большая посылка является утвердительным суждением, то меньшая посылка является общим суждением.
суждение, противоречащее r, вместе с q имплицирует суждение, противоречащее р. В символьной форме: (q . r′) ⊃ p′. Сведение к первому силлогизму зависит от...