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