Dentre as proposições compostas a seguir, a que representa a negação da sentença “Mário é contador ou Sílvio não é enfermeiro”, é: