Preasumptiones iuris tantum w ujęciu logicznym

This article studies the formal models of rebuttable presumption built using a conceptual apparatus of a monotone logic. The paper presents its own project model using a strict implication in conjunction with the notation of a first-order predicate logic and a sentence logic. The presumption is modeled as a normative criterion for the Court to determine the validity of an unacknowledged descriptive sentence. Moreover other selected formal models of rebuttable presumption are discussed.