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