"logiske utfordringer" er et 20-bokstavers substantiv som brukes som synonym for "bevisoppgaver". bevisoppgaver betyr: Utfordringer som krever logisk tenkning og bevis.