Se P for mentiroso, "Ao menos um de nós é mentiroso" é mentira, ou seja, nenhum dos dois é mentiroso. Mas isso contradiz o que assumimos antes (que P é mentiroso), ou seja, absurdo.
Se P não pode ser mentiroso, ele só pode ser um dos que falam a verdade e "Ao menos um de nós é mentiroso" é verdade, como P fala a verdade quem sobra pra ser mentiroso é Q.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar