Thema de doelen

In het middelbaar onderwijs leert elke leerling, bij het vak meetkunde, om bepaalde stellingen te bewijzen. In dit geval willen we de specificatie van de grondwaterspiegel bepalen, zodanig dat de doelen met de deze specificatie gerealiseerd kunnen worden in de realisatie stap.

Zo'n constructief Bewijs kan als volgt gevormd worden:

Gegeven

     Het conceptuele model van de bodem

Gevraagd

     De doelen

Bewijs

     Het bewijs kan handig uitgeschreven worden met noodzakelijke en voldoende voorwaarden, waarin opgenomen stellingen (predicaten) die in de praktijk voldaan moeten worden met een monitoring programma.

Ik onderscheid drie doelen:

1. Het assimilatiedoel wordt voldaan als de overbemesting stelling voldaan wordt en de assimilatie stelling voldaan wordt
   
2. Het bedrijfszekerheidsdoel wordt voldaan als het assimilatiedoel voldaan wordt en de zure sulfaatbodem stelling voldaan wordt
3. Het natuurdoel wordt voldaan als het bedrijfszekerheidsdoel voldaan wordt en de kwel stelling voldaan wordt

De overbemesting stelling is onafhankelijk van de grondwaterspiegel h(x,y,t), daarom noemen we dit een noodzakelijke voorwaarde. Alle overige stellingen bepalen samen één gewenste grondwaterspiegel h(x,y,t) die we willen realiseren. De diepte ontwatering d(x,y,t) is de grondwaterspiegel gemeten vanaf het maaiveld.

De diepte ontwatering d of de hoogte h van de grondwaterspiegel, vormen een voldoende voorwaarde, via de volgende criteria:

1. via de diepte ontwatering,
2. via de overgang van pyriet in de verzadigde zone, door een verlaging van de grondwaterspiegel h(x,y,t), naar de onverzadigde zone, en
3. via de hydrologie zodanig dat er kwel zones  zullen ontstaan met gedenitrificeerd, c.q. kristalhelder water.

Merk op dat het predicaat dat hoort bij elk doel via een logische en operatie afhangt van het voorgaande doel. Dit wil zeggen dat de doelen zo geordend zijn dat alle voorgaande doelen gerealiseerd moeten zijn om een nieuw doel te kunnen realiseren.

De implicatie hiervan is dat het bedrijfszekerheidsdoel, dat het assimilatiedoel impliceert, terwijl het natuurdoel het bedrijfszekerheidsdoel weer impliceert.