É correto afirmar que uma proposição é a negação de outra quando: