Independência de alternativas dominadas por Smith