[bedrijven docter]

Alvorens we kunnen overstappen op conjugation moeten we de negatie operator(niet) toevoegen aan onze N(spec) die we geconstrueerd hebben in onze referentie wetgeving (BW in mijn geval).Deze N(spec) is gedefinieerd aan de hand van de conjugacy classes die we hebben gevormd .

We vormen dus Z(spec) door selectie van die wetsartikels waarvan de negatie zinvol is (met dank aan 4 horse men )

er is GEEN verrijking zonder oorzaak ~ BW 1377
er is GEEN fout ~ BW 1382

Opgelet je hebt 4 mogelijke negaties

De klassieke zoals hierboven beschreven
De geconstrueerde door middel van de tegenbrief BW 1321
De refutable (refutability) verwerpelijk op grond van wetsmisbruik en of openbare orde.
De absurdity omdat ze het gans systeem inconsistent maakt.

Volgens alle auteurs is de negatie operator van een verschillend karakter dan de overige propositional operators die we gaan tegenkomen in de vorming van Q(spec)

om het met een morphisme aan te duiden hebben we nu de integers samengesteld Z(spec) en kunnen we overgaan tot het construeren van Q(spec)