O professor Lucas escreveu no quadro a seguinte sentença aberta:

"O estudante xxx será aprovado na disciplina de Lógica se e somente se xxx entregar todas as tarefas e participar das avaliações."

Considere as proposições: 

P(x): "O estudante x entrega todas as tarefas."

Q(x): "O estudante x participa das avaliações." 

R(x): "O estudante x será aprovado na disciplina."

Formalização: R(x) ↔ (P(x) ^ Q(x))

Qual é o valor lógico da proposição R(ANA) (P(Ana) ^ Q(Ana))?