"derivasjonssatser" er et 17-bokstavers substantiv som brukes som synonym for "derivasjonsformlene". derivasjonsformlene betyr: Setninger som beskriver regler for derivasjon