(UNICAMP 2024) Todo final de semana, as amigas Ana, Bruna e Carol se encontram em um parque para andar de bicicleta ou de patins. Nesta brincadeira, a escolha entre patins e bicicleta é feita usando a seguinte regra: 

Se Ana anda de patins, então Carol também anda de patins. 

Bruna anda de patins apenas quando Carol anda de bicicleta. 

Sabendo que neste final de semana Carol andou de patins, então é necessariamente verdade que 

a) Ana andou de patins.
b) Ana não andou de patins.
c) Bruna andou de patins.
d) Bruna não andou de patins.

Solução: questão de matemática do Vestibular UNICAMP 2024. Prova aplicada no dia 29/10/2023.

>> Na primeira regra, para a condicional/implicação ser verdadeira, sabendo que a segunda proposição (Carol andou de patins) é verdadeira, a primeira proposição pode ser verdadeira ou falsa.

Na condicional, uma vez que a primeira proposição é verdadeira, então a segunda tem que ser necessariamente verdadeira para a condicional ser verdadeira. 

Entretanto, se a segunda for verdadeira, isto não implica que a primeira tem que ser necessariamente verdadeira para a condicional ser verdadeira.  As combinações Falso|Verdadeiro e também  Verdadeiro|Verdadeiro tornam a condicional verdadeira.

A condicional só é falsa, quando a primeira é verdadeira e a segunda é falsa.

>> Já na segunda regra, uma vez que Carol andou de patins, isto quer dizer que Carol não andou de bicicleta, podemos observar que é necessariamente verdade que Bruna não andou de patins.

Bruna anda de patins apenas quando Carol anda de bicicleta.  

Sabemos que Carol não andou de bicicleta, então quer dizer que Bruna não andou de patins é necessariamente verdade.

Alternativa correta é a letra d).

Aproveite e continue praticando com uma lista de questões de matemática da UNICAMP.

Um forte abraço e bons estudos.