Considere:

Seja P(x): “x concluiu o curso” e Est(x): “x é estagiário”.

Qual formalização corresponde à frase: “Todo estagiário concluiu o curso”?