Considere que as letras P, Q, R e T representem proposições e que os símbolos !$ \neg\,\wedge\,\vee !$ e !$ \rightarrow !$ sejam operadores lógicos que constroem novas proposições e significam “não”, “e”, “ou” e “então”, respectivamente. Na lógica proposicional, cada proposição assume um único valor — verdadeiro (V) ou falso (F). Considere, ainda, que P, Q, R e S representem as sentenças listadas abaixo.

P: O homem precisa de limites.
Q: A justiça deve ser severa.
R: A repressão ao crime é importante.
S: A liberdade é fundamental.

Com base nessas informações, julgue o próximo item.

A sentença “Se a justiça deve ser severa, então o homem precisa de limites” pode ser corretamente representada por Q !$ \rightarrow !$ P.