Да, Вы что-то совсем запутались :)
1) Все книги имеют страницы; следовательно некоторые книги имеют страницы.
Это правильно, если отвлечься от вопроса о том, существует ли хоть одна книга.
(Все S есть P, следовательно некоторые P есть S)
Это к Вашему выводу отношения не имеет. По этой схеме вывод должен быть такой: Все книги имеют страницы, следовательно некоторые из объектов, имеющих страницы, -- книги.
2) Некоторые книги имеют страницы, следовательно некоторые не-книги не имеют страниц.
Это неправильно. Посылка вовсе не исключает утверждения "Все не-книги имеют страницы".
3) Или: Все книги имеют страницы; следовательно ни одна не-книга не имеет страниц.
И это неправильно.
Правильно как-то так: все книги имеют страницы, следовательно ни одни объект, не имеющий страниц, не является книгой.