Resolutie (logica)