Na confecção dos horários de aulas de determinada escola, deve-se considerar que, quando um professor está de folga ou em coordenação, seu nome não consta na grade horária. A partir dessa situação, considere as seguintes proposições.

P: O professor está de folga.
Q: O professor está em coordenação.
R: O nome do professor não consta na grade horária.

Com base nessas informações e considerando os símbolos lógicos \( \neg \), \( \rightarrow \) e w, que significam “não”, “se ..., então ...” e “ou”, respectivamente, julgue o item a seguir, referente a lógica sentencial.

A proposição “Quando um professor está de folga ou em coordenação, seu nome não consta na grade horária” pode ser expressa simbolicamente por \( [ P \vee Q ] \rightarrow R \).