Définitionsillogique