Questão 1212567

A expressão P(x,y) é 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.