Citaat:
Oorspronkelijk geplaatst door bedrijven docter
je transformeert geen enkel wetboek in abstracte zaken je maakt een set met benodigde wetsartikelen Z(special) en dan maar eerst ga je proberen Q(spec) op te stellen via boolean operators ,daarna ga je R(spec) opstellen.
Ik herhaal even het abstracte patroon uit K en K
Abstracte algebra toegepast op recht.
N (Alg) : Verzameling van alle wetsartikelen.
Z(Alg) : Verzameling van alle wetsartikelen met hun negatie als operator.
Q(Alg) : Verzameling van alle wetsartikelen met de Boolean operators .
Rar(Alg) : Q(Alg) met alle rechtspraak inplementaties toegevoegd.(uit A volgt B)
R(Alg) : Q(Alg) met alle rechtspraak en rechtsleer.
C(Alg) : R(Alg) met toevoeging IPR (internationaal privaat recht) en bilaterale landen overeenkomsten
N(special) : set zorgvuldig uitgekozen wetsartikelen voor een specifieke zaak.
Z(special) : set zorgvuldig uitgekozen wetsartikelen voor een specifieke zaak met negatie als operator
Q(special) : Z(special) met alle boolean operators.
R(special) : Q(special) met zorgvuldig uitgekozen implementaties (uit A volgt B)
Simple extension (slechts 1 implementatie toegevoegd)
Finate extension (meerdere implementaties toegevoegd zoals lemma’s ,tautologieën en bewezen stellingen axiomatisch opgebouwd zoals de sterfhuisconstructie)
C(special) : R(special) met toevoeging van zorgvuldig uitgekozen internationale rechtspraak en rechtsleer.
|
Hoe bepaal je de negatie van een wet?
Hoe voeg je in hemelsnaam alle rechtsleer en rechtspraak toe?