Signatura (lògica)