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