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

vladborhovp0a44d vladborhovp0a44d    2   10.12.2019 10:57    23

Другие вопросы по теме Математика