Resolució (lògica)