Use os seguintes símbolos de predicados para traduzir para a linguagem simbólica do Cálculo de Predicados, cada uma das seguintes afirmações:
Questão-01.
Todo o professor que for mais velho do qualquer estudante também é mais velho que algum estudante. (Px, Ex, Vxy)
Questão-01.
Todo o professor que for mais velho do qualquer estudante também é mais velho que algum estudante. (Px, Ex, Vxy)
Passo 1
Resumindo o enunciado, o domínio são todas as pessoas;
significa “
é professor”,
significa “
é estudante” e
significa “
é mais velho que
”. Queremos traduzir:
“Todo professor que for mais velho do que qualquer estudante também é mais velho que algum estudante.”
“Todo professor que for mais velho do que qualquer estudante também é mais velho que algum estudante.”
Passo 2
A parte “professor que for mais velho do que qualquer estudante” descreve o conjunto de todos os
tais que
e, para todo
, se
é estudante então
é mais velho que
. Em lógica:
Passo 3
A parte “também é mais velho que algum estudante” diz que existe pelo menos um
que é estudante e tal que
é mais velho que
, ou seja:
Por fim, como queremos que todo
com a propriedade do passo 2 satisfaça o passo 3, usamos um condicional sob
.