Formalna distinkcija