Необходимо определить формальную правильность того или иного логического умозаключения на основе определенного утверждения (или ряда утверждений). Реальная действительность не играет при этом никакой роли (это немного усложняет тест).