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