Предмет и значение логики
Информация - Разное
Другие материалы по предмету Разное
?ь В, то С есть D; С не есть D;
Следовательно, А не есть B.
Здесь отрицается следствие (порядок следственных действий не соблюдён), поэтому основание (не зафиксировано следов преступной деятельности) является ложным. Следы преступной деятельности могут отсутствовать, и тем не менее, порядок следственных действий будет соблюдён.
Второй модус утверждающий, конструктивный и имеет следующий вид:
Если А есть В, то С есть D; А есть В;
Следовательно, С есть D.
Здесь утверждается основание (процессуальный порядок следственного действия соблюдён), поэтому заключение истинно (изъятие следов преступной деятельности зафиксировано в протоколе).