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