A informações a seguir, referentes ao sistema de rodízio de funcionários em uma empresa, são verdadeiras.

1 – Pedro está no trabalho e João também está.

2 – Se Pedro está no trabalho, então Maria e Ana não estão.

Conclui-se que