Questão 913898

S₁ enquadra-se como sentença de uma lógica proposicional enquanto S₂ caracteriza-se como sendo de uma lógica de 1ª ordem.

S₁ enquadra-se como sentença de uma lógica de 1ª ordem enquanto S₂ caracteriza-se como sendo de uma lógica proposicional.

S₁ e S₂ enquadram-se como sentenças lógicas exclusivamente de 1ª ordem.

S₁ e S₂ enquadram-se como sentenças lógicas exclusivamente proposicionais.