На множестве r заданы предикаты. Предикаты и их множества истинности. область определения и множество истинности..