Тест содержит вопросы по следующим темам:
Предикаты.
Операции надикатами.
Кванторы.
Типы вопросов – одиночный выбор, множественный выбор, введение ответа.