Fragment (lògica)