De acordo com a lógica proposicional, mais precisamente, as equivalências lógicas e as leis de De Morgan, podemos dizer que a negação da sentença “x é par ou x é primo” é:
Se x é par, então x é primo.
x não é par ou x não é primo.
Se x não é par, então x é não primo.
x não é par e x é primo.
x não é par e x não é primo.
