"logiske oppgaver" er et 16-bokstavers substantiv som brukes som synonym for "bevisoppgavene". bevisoppgavene betyr: Oppgaver som krever bruk av logikk for å løse.