si është përkufizimi për logjikën