Используя атомарные предикаты для обозначения утверждений "x является школьником", "y - это книга" и "x владеет y", выразите формально следующее сложное утверждение: нет таких школьников, у которых не было бы ни одной книги.
пример решения: (∀x: a(∀y: b(y)) p(x,y)