A negação da proposição “Mário é brasileiro ou Maria não é boliviana” é