mongrel, эх) Я ожидал чуть побольше чужих мнений, ну да ладно)
Представим исходную фразу в виде логического выражения: "Существует такой объект X, обладающий свойством A, что он обладает свойством B, где A - быть человеком, B - понимать логику".
Тогда оказывается, что заключение 1 в этой форме почти дословно ее повторяет. То есть 1 верно.
Заключение 2. Мы не можем судить об истинности или ложности этого утверждения из исходных данных (возможно, любое X обладает свойствами A и B), поэтому оно не является корректным заключением.
Заключения 3 и 4 - неверные заключения, поскольку ни для каких X не исключены комбинации "A и не-B" и "B и не-A".
Наконец, последнее заключение. "Если нет такого X, что X обладает свойством B, то никакое X не обладает свойством A". Действительно, такой вывод можно сделать из данного утверждения, поскольку известно, что по меньшей мере одно X, обладающее свойством A, обладает также и свойством B.
Правильные ответы, таким образом - 1 и 5. =)