Los bericht bekijken
Oud 2 september 2016, 15:17   #13
TheFourHorsemen
Secretaris-Generaal VN
 
TheFourHorsemen's schermafbeelding
 
Geregistreerd: 21 januari 2014
Locatie: Antwerpen, De Verenigde Nederlanden
Berichten: 23.756
Standaard

Citaat:
Oorspronkelijk geplaatst door bedrijven docter Bekijk bericht
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?
TheFourHorsemen is offline   Met citaat antwoorden