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