O princípio da não-contradição é um dos princípios fundamentais da lógica. Do que se trata esse princípio?