Telefona gönder: El principio de no contradicción en la lógica clásica.