Permutation of Indices

Theorem
Let $R: \Z \to \set {\T, \F}$ be a propositional function on the set of integers.

Let the fiber of truth of $R$ be finite.

Let $\pi$ is a permutation on the fiber of truth of $R$.

Then: