///
Esta questão foi aplicada no ano de 2018 pela banca CESPE / CEBRASPE no concurso para STJ. A questão aborda conhecimentos da disciplina de Raciocínio Lógico e Quantitativo, especificamente sobre Tautologia, Contradição e Contingência Lógica.
Esta é uma questão de múltipla escolha com 2 alternativas. Teste seus conhecimentos e selecione a resposta correta.
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).