آیا متن زیر عضو دسته‌بندی «ریاضی و منطق» است؟

متن: اگر عبارت «تمام انسانها متولد شده‌اند» درست باشد، کدامیک از نتیجه گیری‌های زیر منطقی است؟ اگر x زائیده نشده باشد، آنگاه x انسان نیست. 
جواب صحیح:
بله