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