A negação lógica da proposição “Toda moça forma par com algum rapaz” pode ser expressada como:

Algum rapaz e alguma moça não formam par um com o outro.

Existe uma moça que não forma par com nenhum rapaz.

Nenhum rapaz forma par com nenhuma moça.

Nenhuma moça forma pares com todos os rapazes.

Existe um rapaz que forma par com todas as moças.