Wiskunde en recht in juridische constructies
Constructie Q(spec)
We gaan nu over tot wat men in Galois theory the base field noemt.
We voegen bij onze set Z(spec) de 5 logische operators toe uit de propositie logica , dus inclusief de negatie operator , alhoewel die al gebruikt was in een andere context (vorming van Z(spec) vanuit N(spec) )
We hebben deze negatie nodig om de negatie van een conjunctie, disjunctie, implicatie mogelijk te maken en tevens de modus tollens te kunnen gebruiken.
Op te merken valt dat wij in recht alleen de exclusieve or gebruiken , een van beiden maar niet allebei .
Met deze connectives maken wij dan dyadic, triadic, tetradic ...... n-adic relaties die aan het set Z(spec) worden toegevoegd ,deze n-adic objecten vormen dus de breuken in de number line.
Kom er uitgebreid op terug met veel voorbeelden uit recht want het is zeer belangrijk dat je de base field voor je constructie en of specifieke verdediging kan opstellen.
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
|