Considerando os seguintes predicados:
: é pintor;
: é cantor;
: é ator;
: x colaborou com y.
Codifique as seguintes sentenças:
Todo pintor também é cantor.
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