Considere as seguintes sentenças: S 1 : Para todo militar existe uma missão. S 2 : Sargento Maia é paraense. Pode-se afirmar que

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.