Los bericht bekijken
Oud 10 oktober 2016, 08:55   #183
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.364
Stuur een bericht via Skype™ naar bedrijven docter
Standaard Galois extensie toegepast op recht.

Constructie van Ra(spec)

Toevoeging van Vonnissen en Arresten aan de base field Q(spec)


{A,B,C,D...........} = set Vonnissen of Arresten toegevoegd aan Q(spec) - het base field

A = Vonnis of arrest bestaande uit set {implementaties, inverses ,converses, contrapossitives, conjuncties, disjuncties,negaties}

B= Vonnis of arrest bestaande uit set {implementaties, inverses ,converses, contrapossitives, conjuncties, disjuncties,negaties}

Definitie : Een binaire operatie is een product(x)en of som(+) operatie tussen 2 Vonnissen of arresten en wordt abstract voorgesteld door *

A*B ,A*C ,A*D,B*C,B*D,C*D ingeval er 4 arresten worden toegevoegd
A*B,A*C,B*C ingeval er 3 arresten worden toegevoegd
A*B ingeval er 2 arresten worden toegevoegd.
A*A ingeval er 1 arrest word toegevoegd (idempotent,reflexief)is geen binaire operatie maar atoom.

* is de binaire operatie tussen de elementen(sub sets) van de 2 Vonnissen-arresten , dus tussen de {implementaties, inverses ,converses, contrapossitives, conjuncties, disjuncties,negaties}

Ingeval van de constructie van Ra(spec) is * de set theoretical intersectie en unie

X = intersectie (meet ) gemeenschappelijk element (sub set ) van 2 Vonnissen en Arresten
+= unie (join) toevoegen van een element uit A aan een element uit B

Deze binaire operaties * vormen Posets en worden voorgesteld in een Hasse diagram.
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  hasse-diagram-4-638.jpg‎
Bekeken: 26
Grootte:  78,3 KB
ID: 104381  

Klik op de afbeelding voor een grotere versie

Naam:  hasse-diagram-2-638.jpg‎
Bekeken: 31
Grootte:  67,8 KB
ID: 104382  

Klik op de afbeelding voor een grotere versie

Naam:  slide_39.jpg‎
Bekeken: 30
Grootte:  71,7 KB
ID: 104383  

__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden