将“有的律师不是 * * 党员”换质，其结论是（），再将所得结论换位为（），其推演的逻辑形式可用公式表示为（）。