Sabe-se que:

• Se X é vermelho, então Y não é verde.

• Se X não é vermelho, então Z não é azul.

• Se Y é verde, então Z é azul.

Logo, deduz-se que:

João é mais baixo do que Ana. Pedro não é mais baixo do que Ana. Denise não é mais alta do que João.

É correto concluir que:

Uma gaveta A tem sete canetas vermelhas e uma gaveta B tem sete canetas azuis. Essas são as únicas canetas contidas nas duas gavetas. Retiram-se três canetas da gaveta A, que são então colocadas na gaveta B. Agora, retiram-se, aleatoriamente, quatro canetas da gaveta B, que são então colocadas na gaveta A.

Após essas transferências, é correto afirmar que:

Considere como verdadeiras as afirmativas:

• Se Jorge é francês, então Denise é espanhola.

• Denise não é espanhola ou Beatriz é brasileira.

Sabe-se que Beatriz não é brasileira.

Logo, é correto afirmar que: