Considere seguintes proposições:
p: Em março há 2 feriados ou 5 domingos.
q: Em março nunca há carnaval.
A negação da condicional p → q é equivalente à afirmação:
Em uma aula de improvisação, Alex, Beto e Caio foram escolhidos para conversar com os demais alunos e, cada um, durante toda a conversa, falou apenas verdades ou apenas mentiras. Os três escolhidos combinaram entre si quem falaria verdades e quem falaria mentiras, mas o resto do grupo não sabia o papel que cada um interpretava. Quando a improvisação começou, Alex disse: “Beto escolheu o papel de mentiroso” e Beto disse: “dois entre nós três escolheram o papel de mentiroso”. O professor, que também não sabia quem falava a verdade e quem mentia, perguntou a Caio em que ano ele havia nascido, ao que Caio respondeu.
Paula, em seguida, repetiu para Caio a mesma pergunta que o professor havia feito e, com a resposta que Caio lhe deu, somente assim, ela pôde concluir logicamente que os papéis representados por Alex, Beto e Caio eram, respectivamente,
