Considere as seguintes relações na rede pública de ensino.

T(x): x é uma turma da rede pública de ensino.

C(y): y é um coordenador pedagógico.

A(x, y): o coordenador y acompanha a turma x.  

A partir dessas informações, é correto inferir que a afirmação "Cada turma da rede é acompanhada por pelo menos um coordenador pedagógico." pode ser escrita em termos da lógica de primeira ordem como ∀x [T(x) → ∃y (C(y) ∧ A(x, y))]. 

Considerando-se a proposição composta "Se o estudante participou das aulas de reforço, então entregou todas as atividades propostas e realizou a avaliação de recuperação.", é correto afirmar que a negação dessa proposição é equivalente à seguinte proposição composta: "O estudante não participou das aulas de reforço, não entregou todas as atividades propostas e não realizou a avaliação de recuperação.". 

Se P, Q e R são proposições simples, então a proposição composta (P → Q) ∧ (~P → R) → (Q ˅ R) é uma tautologia.