///
Considere as proposições P e Q a seguir.
P: Todo processo que tramita no tribunal A ou é enviado para tramitar no tribunal B ou no tribunal C.
Q: Todo processo que tramita no tribunal C é enviado para tramitar no tribunal B.
A partir dessas proposições, julgue o item seguinte.
A proposição ¬P→[P→Q], em que ¬P denota a negação da proposição P, é uma tautologia, isto é, todos os elementos de sua tabela-verdade são V (verdadeiro).