Tribunal de Justiça de São Paulo 2023
Três amigas, Juliana, Nádia e Marluce, praticam atletismo, não necessariamente nesta ordem de modalidades: 100 metros rasos, 400 metros com barreiras e 5 000 metros. As alturas de cada uma delas são, não necessariamente nesta ordem: 1,68 m, 1,72 m e 1,81 m. Sobre elas é conhecido que Juliana não corre os 100 metros rasos e mora perto da amiga cuja altura é de 1,72 m. Já Nádia, que não é a mais baixa, não pratica provas com menos de 1000 m e não mora perto das outras duas amigas.
A partir dessas informações, tem valor lógico verdadeiro a afirmação:
A atleta que tem 1,72 m de altura pratica 100 metros rasos e Juliana pratica os 5 000 metros.
Ou Juliana pratica os 400 metros com barreiras ou Nádia tem 1,81 m de altura.
Se Nádia tem 1,72 m de altura, então Marluce tem 1,81 m de altura.
Se Juliana tem 1,68 m de altura, então Nádia pratica os 400 metros com barreiras.
Nádia pratica 5000 metros e Marluce tem 1,81 m de altura.
