Considere P(x) a seguinte sentença aberta, "x é estudante e P(x) é esforçado”. A proposição "Todos os estudantes são esforçados” pode ser corretamente simbolizada por:
