Modelling of a’fortiori reasoning

摘要

The paper presents the model of two variants of a’fortiori reasoning applicable in the case of statutory law as well the example of the genuine law case, which has been modeled with use of established methodology. The model of reasoning assumes the existence of “less–more” relation between the analyzed actions, which has been expressed by means of strict partial order and some additional assumptions. The paper also contains the implementation of the analyzed example.