A satisfação ou não de cada fórmula segundo uma valoração depende das variáveis que ocorrem livre, no caso deste exercício a variável que ocorre livre é $z$. Sendo assim, podemos considerar a valoração $α(z)=7$, de fato qualquer valoração que envie $z$ a um número primo.  ¶