Raciocínio Lógico

São verdadeiras as quatro seguintes proposições:

P1: Se João joga futebol, então Maria não gosta

de guaraná.

P2: Maria gosta de guaraná ou Paulo não estuda

todo dia.

P3: Paulo não estuda todo dia se, e somente se,

Carlos grita de manhã.

P4: Carlos não grita de manhã e Roberto não é

flamenguista.

Com base nas proposições acima, uma conclusão

necessariamente verdadeira é: