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

متن: آگر A با B برابر باشد. E مساوی با F است اگر C مساوی با D باشد G. مساوی با H است یا A مساوی B است. یا C مساوی با D بنابراین: یا E مساوی با F است یا G مساوی با H
جواب صحیح:
بله