Questão de Matemática

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