Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Se x e y assumem valores no conjunto dos números inteiros e...
1
Q352483
Teclas de Atalhos
Compartilhar
A expressão 
P(,) é uma fórmula sintaticamente correta da lógica de predicados clássica. Diz-se que uma tal fórmula é semanticamente válida quando as suas variáveis x e y e o predicado P têm alguma interpretação que os verifique. Quanto a esse assunto, julgue o item subseqüente.
Se x e y assumem valores no conjunto dos números inteiros e o predicado P(x, y) é interpretado como x < y, então a fórmula é semanticamente válida.