Considerando os seguintes predicados:
\mathrm{P}(\mathrm{x}) : é pintor;
\mathrm{C}(\mathrm{x}) : é cantor;
\mathrm{A}(\mathrm{x}) : é ator;
\mathrm{Co}(\mathrm{x}, \mathrm{y}) : x colaborou com y.
Codifique as seguintes sentenças:
Todo pintor também é cantor.

Passo 1

O enunciado pede para representar em Lógica de Predicados a frase “Todo pintor também é cantor”. Aqui usamos o quantificador universal e o conectivo de implicação, pois “para todo indivíduo, se ele é pintor então ele é cantor”.

Passo 2

A formalização é dado por
\forall x\bigl(P(x)\rightarrow C(x)\bigr)

Resposta

\forall x\bigl(P(x)\rightarrow C(x)\bigr)

Exercícios relacionados