Wicked
Новичок
+1.Автор оригинала: kruglov
Это тест на понимание булевой алгебры. На понимание кванторов ("существует" и "любой"). На построение отрицаний от составных предикатов.
Кто в теме, тот легко имеет 30 чисто механически.
whirlwind
Напрягаться приходилось не тут, а в НГУ, на дисциплине "математическая логика". Тяжело в учении, легко в боюТест очень длинный и не настолько важен, что бы сильно напрягаться после 20 вопроса. Не сходятся ваши "в теме" и "30". Человек не компьютер все-таки.
