Considerando os seguintes predicados:
: é pintor;
: é cantor;
: é ator;
: x colaborou com y.
Codifique as seguintes sentenças:
Existe um ator que colaborou com todos cantores.
Codifique as seguintes sentenças:
Existe um ator que colaborou com todos cantores.
Passo 1
Estamos traduzindo a frase “Existe um ator que colaborou com todos os cantores” para lógica de predicados. Vamos usar quantificador existencial para “existe um ator” e quantificador universal para “todos os cantores”.
Passo 2
Seja
o ator em questão. Para todo indivíduo
, se
é cantor então
colaborou com
. Logo, escrevemos primeiro a parte universal e depois encaixamos no existencial: