Certo dia, cinco Agentes de um mesmo setor do Tribunal de Contas do Estado de São Paulo − Amarilis
Certo dia, cinco Agentes de um mesmo setor do Tribunal de Contas do Estado de São Paulo − Amarilis, Benivaldo, Corifeu, Divino e Esmeralda − foram convocados para uma reunião em que se discutiria a implantação de um novo serviço de telefonia. Após a realização dessa reunião, alguns funcionários do setor fizeram os seguintes comentários:
– “Se Divino participou da reunião, então Esmeralda também participou”; – “Se Divino não participou da reunião, então Corifeu participou”; – “Se Benivaldo ou Corifeu participaram, então Amarilis não participou”; – “Esmeralda não participou da reunião”.
Considerando que as afirmaçôes contidas nos quatro comentários eram verdadeiras, pode-se concluir com certeza que, além de Esmeralda, não participaram de tal reunião:
