O princípio lógico matemático que estabelece que duas afirmações contraditórias não podem ser verdadeiras ou falsas ao mesmo tempo, é denominado de: