De acordo com as regras de equivalências lógicas, mais precisamente, as Leis de Morgan, a negação da sentença composta “3 é número primo ou 13 é número par” é:
3 não é número primo e 13 é número par.
3 é número primo e 13 não é número par.
3 não é número primo ou 13 não é número par.
Se 3 é número primo, então 13 é número par.
3 não é número primo e 13 não é número par.
