ЭСГ/Род, в логике