apakah definisi logik