Afirmar que não é verdade que João é rico e que Paulo é baixo é logicamente equivalente a dizer que é verdade que: