definiere logik