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 , e w, que significam “não”, “se ..., então ...” e “ou”, respectivamente, julgue o item a seguir, referente a lógica sentencial.

Caso o nome de determinado professor não esteja na grade horária, será correto inferir que esse professor está em coordenação.