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