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))?