"logiske bevis" er et 13-bokstavers substantiv som brukes som synonym for "bevisoppgaver". bevisoppgaver betyr: Bevis som følger logiske prinsipper.