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