mendefinisikan logik