COM150 - Quiz VideoAula03 Sem1

Prévia do material em texto

Quantificadores, Predicados e Validade
Pergunta 1
Considere a expressão: Dentre todos os carros, Antônio gosta apenas dos pretos. Agora,
considere as seguintes sentenças abertas:
A(x): x é Antônio
C(x): x é carro
P(x): x é preto
G(x,y): x gosta de y
Assinale a alternativa que corresponde à representação em linguagem simbólica
proposicional da frase acima.
✅ (∀x)(A(x)→(∀y)((C(y)∧ G(x,y))→P(y))
(∀x)(A(x)→P(y))
(∀x)(A(x)→(∀y) G(x,y)→P(y))
(∀x)(A(x)∧ C(y)→P(y))
(∀x)(A(x)→(∀y)(G(x,y))→P(y))