Przepraszam - pomieszało mi się pojęcie różnowartościowości. :/

Oczywiście masz rację. Różnowarościowość polega na tym, że dana wartość funkcji może być przypisana tylko do jednego argumentu (inaczej f. by nie była odwracalna). Tak więc cos jest różnowartościowy jedynie na przedziałach nie większych, niż okres.

Niestety nigdy nie miałem pamięci do kwantyfikatorów. :P