resolution

in logic, rule of inference