Условие задачи
Какой вид доказательства имеется в следующем рассуждении?
Если бы Носов совершил убийство, то он был бы на месте преступления в ту ночь, когда оно было совершено. В ту ночь Носов не был на месте преступления, так как он находился дома. Следовательно, Носов не совершал убийства.
Ответ
Это прямое доказательство, поскольку вывод следует из посылок напрямую. Форма доказательства (аргументация) в виде дедуктивного умозаключения, условно-категорического в отрицающем модусе.
Отрицающий модус (modus tollens) условно-категорического умозаключения: можно строить достоверные умоз...