Raciocínio Lógico

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 os itens seguintes.

A proposição ¬P6[P6Q], 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).