Uma dedução é uma seqüência finita de proposições, em que...

Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir.

Considere que duas gêmeas idênticas - Bella e Linda - tenham sido acusadas de se fazerem passar uma pela outra. Considere ainda que uma delas sempre minta e que a outra seja sempre honesta. Supondo que Bella tenha confessado: "Pelo menos uma de nós mente", então está correto concluir que a gêmea honesta é Linda.