The paper shows some of the problems related to the formalization of legal reasonings under analogia legis and a contrario, and discusses some of the specific proposals in this regard. Built formal models are based on the concept of monotonic logic and nonmonotonic logic. These models are mainly illustrative and have limited explanatory power. Their reliability can only be achieved under certain additional conditions.