В умозаключениях может быть пропущена первая посылка, она может подразумеваться, если выражает какое-то истинное суждение, формулирующее известное положение, теорему, закон и т. д.
В условно-категорическом умозаключении “Сумма цифр данного числа делится на 3, следовательно, данное число делится на З” опущена первая посылка, формулирующая известную математическую закономерность: “Если сумма цифр данного числа делится на 3, то все число делится на З”.
В разделительно-категорическом умозаключении “Данное существительное русского языка не является существительным ни женского рода, ни среднего рода. Следовательно, данное существительное мужского рода” также пропущена первая посылка: “Существительное в русском языке может быть женского, или мужского, или среднего рода”.
В сложной конструктивной дилемме “Если я пойду через болото, то могу попасть в трясину, а если я пойду в обход, то не успею вовремя доставить донесение. Следовательно, я могу попасть в трясину или не успею вовремя доставить донесение” не формулируется, а лишь подразумевается вторая посылка: “Я могу идти через болото или в обход”.
Можно было бы привести и другие примеры сокращенных умозаключений: чисто условных, условно-категорических, чисто разделительных, разделительно-категорических, условно-разделительных (дилемм, трилемм) с пропущенной или первой, или второй посылкой, однако предоставим это сделать самому читателю.
Итак, рассмотренные нами прямые выводы - такие, как чисто условные, чисто разделительные, условно-категорические, разделительно-категорические и условно-разделительные (лемматические) умозаключения, сформулированные как полностью, так и сокращенно (т. е. в которых пропущена либо одна из посылок, либо заключение), - широко используются в процессах научного и обыденного мышления, обучения в школе или в вузе. Знание правил построения этих видов умозаключений предостерегает от логических ошибок в мышлении, помогает доказательнее, аргументированное строить рассуждения и эффективнее применять приемы обучения учащихся и студентов.
Прямые выводы (кроме рассмотренных выше форм) включают и такие виды (делаемые из одной посылки):