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.
Todo estudante em sua escola ou fala russo ou sabe C++.
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
: “
fala russo”
: “
sabe C
”.
Queremos traduzir “Todo estudante em sua escola ou fala russo ou sabe C ” para a lógica de predicados.
Queremos traduzir “Todo estudante em sua escola ou fala russo ou sabe C
Passo 2
“Todo estudante” vira o quantificador universal sobre o domínio, e “ou” vira disjunção. Assim, para cada
do domínio, vale
ou
.