A lógica proposicional é fundamental para resolver problemas de raciocínio lógico em concursos, como este da UNICAMP. Ela permite analisar relações condicionais entre afirmações, usando conectivos como 'se...então' e 'apenas se'. Nesta questão, são dadas duas regras que envolvem as escolhas de Ana, Bruna e Carol entre patins e bicicleta. A partir da informação de que Carol andou de patins, aplica-se o modus tollens para deduzir uma consequência necessária. Esse tipo de exercício treina a capacidade de inferir conclusões válidas a partir de premissas, habilidade essencial para provas de matemática e raciocínio lógico.