Выражения в математической логике: что это такое