Considere verdadeira a proposição P: (A → ¬B) ˄ B.

A conclusão que se pode tirar a partir de P, por dedução lógica, é