Resolvent (logic)