Considere
como a proposição "
fala russo" e considere
como a proposição "
sabe a linguagem computacional C++". Expresse cada uma dessas sentenças em termos de
, quantificadores e conectivos lógicos. O domínio para quantificadores são todos os estudantes de sua escola.
Há um estudante em sua escola que fala russo e sabe C++.
Há um estudante em sua escola que fala russo e sabe C++.
Passo 1
O enunciado dá duas propriedades sobre cada estudante
da escola:
significa “
fala russo” e
significa “
sabe a linguagem C
”.
Ele pede para traduzir “Há um estudante na escola que fala russo e sabe C ” para a lógica de predicados usando quantificadores e conectivos.
Ele pede para traduzir “Há um estudante na escola que fala russo e sabe C
Passo 2
A frase “há um estudante que …” indica um quantificador existencial.
A parte “fala russo e sabe C ” exige a conjunção das duas propriedades.
Logo, a tradução lógica é .
A parte “fala russo e sabe C
Logo, a tradução lógica é