Considere P(x) como a proposição " x fala russo" e considere Q(x) como a proposição " x sabe a linguagem computacional C++". Expresse cada uma dessas sentenças em termos de P(x), Q(x), quantificadores e conectivos lógicos. O domínio para quantificadores são todos os estudantes de sua escola.
Todo estudante em sua escola ou fala russo ou sabe C++.

Passo 1

O enunciado define o domínio como “todos os estudantes da escola” e as predicados \,P(x): “ x fala russo” \,Q(x): “ x sabe C ++”.
Queremos traduzir “Todo estudante em sua escola ou fala russo ou sabe C ++” para a lógica de predicados.

Passo 2

“Todo estudante” vira o quantificador universal sobre o domínio, e “ou” vira disjunção. Assim, para cada x do domínio, vale P(x) ou Q(x).

Resposta

\forall x\;\bigl(P(x)\lor Q(x)\bigr)

Exercícios de Livros Relacionados