Não é verdade que João é rico e que Paulo é baixo, é logicamente equivalente a dizer que é verdade que: