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.
Se um processo for iniciado no tribunal A, então, com certeza, ele tramitará no tribunal B.
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.
Se um processo não tramita no tribunal C, então ele também não tramita no tribunal B.
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).
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.
Se 10 processos que chegarem ao tribunal A em determinado dia forem separados de forma aleatória em dois grupos de 5 processos cada, um para ser encaminhado ao tribunal B, e outro, para o tribunal C, então essa separação poderá ser feita de, no máximo, 240 formas diferentes.
