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