Considere as seguintes sentenças: S1: Para todo militar existe uma missão. S2: Sargento Maia é paraense. Pode-se afirmar que A) S1 enquadra-se co...
Considere as seguintes sentenças: S1: Para todo militar existe uma missão. S2: Sargento Maia é paraense. Pode-se afirmar que
A) S1 enquadra-se como sentença de uma lógica proposicional enquanto S2 caracteriza-se como sendo de uma lógica de 1ª ordem.
B) S1 enquadra-se como sentença de uma lógica de 1ª ordem enquanto S2 caracteriza-se como sendo de uma lógica proposicional.
C) S1 e S2 enquadram-se como sentenças lógicas exclusivamente de 1ª ordem.
D) S1 e S2 enquadram-se como sentenças lógicas exclusivamente proposicionais.
A) S1 enquadra-se como sentença de uma lógica proposicional enquanto S2 caracteriza-se como sendo de uma lógica de 1ª ordem.
B) S1 enquadra-se como sentença de uma lógica de 1ª ordem enquanto S2 caracteriza-se como sendo de uma lógica proposicional.
C) S1 e S2 enquadram-se como sentenças lógicas exclusivamente de 1ª ordem.
D) S1 e S2 enquadram-se como sentenças lógicas exclusivamente proposicionais.
💡 1 Resposta
Ed 
A alternativa correta é a letra B) S1 enquadra-se como sentença de uma lógica de 1ª ordem enquanto S2 caracteriza-se como sendo de uma lógica proposicional. A sentença S1 envolve a quantificação universal "para todo", o que a caracteriza como uma sentença de lógica de primeira ordem. Já a sentença S2 é uma sentença proposicional, pois não envolve quantificadores.
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Outros materiais
Perguntas relacionadas
Materiais relacionados
Compartilhar