Сделайте заключение из посылок, символизируйте этот вывод, определите вид и логическую корректность. Если Иванов был свидетелем преступления, то он должен присутствовать на судебном  заседании по делу. Если виновен Сидоров, то виновен и Петров.

Сделайте заключение из посылок, символизируйте этот вывод, определите вид и логическую корректность.

1) Если Иванов был свидетелем преступления, то он должен присутствовать на судебном  заседании по делу.

Однако Иванов не был свидетелем преступления.

2) Если виновен Сидоров, то виновен и Петров.

Доказано, что Сидоров виновен.

3) Следствие пришло к выводу, что преступление могли совершить Алферов или Бобриков.

Сторона обвинения предоставила неопровержимые доказательства виновности Алферова.

4) Если суд придет к выводу о подложности документа, исключит его из числа доказательств.

Суд не исключил документ из числа доказательств.