Um diretor administrativo verificou que: “Se os
funcionários são valorizados, então o balanço mensal
não registra queda”. Essa constatação é equivalente a:
Se o concurso não é difícil, então Matemática é difícil.
Por outro lado, ou Matemática não é difícil, ou Paulo
não gosta de Matemática. Daí conclui-se que, se Paulo
gosta de Matemática, então:
Se Carlos não faltou ao serviço, então Ana não
completou o arquivo. Se João não fala inglês, então
José é o intérprete. Beatriz é francesa ou Carlos não
faltou ao serviço. Ora, Ana completou o arquivo e João
não fala inglês. Logo: