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

se uma for verdadeira, então a outra obrigatoriamente não poderá ser falsa.

se uma for falsa, então a outra obrigatoriamente não poderá ser verdadeira.

se uma for verdadeira, então a outra é obrigatoriamente falsa.

a soma das proposições resultar obrigatoriamente em números negativos.

a soma das proposições resultar obrigatoriamente em números positivos.