Inhoud.

Is onderverdeeld:

1 Inleiding.

2 Uitgangspunt.

3 Samenvatting.

4 Onderbouwing.

5 Bijlagen.

1 Inleiding.

Zie module:

o Inleiding.

Deze module gaat in op:

o Getal - Even vs. Oneven.

2 Uitgangspunt.

Niet van toepassing.

3 Samenvatting.

Is onderverdeeld:

1 Algemeen.

2 Conclusie.

3.1 Algemeen.

Het onderstaande stellingpaar is niet valideerbaar.

4a Voor aantal oneven getallen geldt: is onbegrensd (waar).

5 Voor aantal even getallen geldt: is begrensd (onwaar).

3.2 Conclusie.

Niet van toepassing.

4 Onderbouwing.

…a = Als waar is.

…i = Is ook waar.

1a Voor statisch proces geldt: weerspiegelt onbegrensd getal.

2i Voor dynamisch proces geldt: weerspiegelt begrensd getal.

Toelichting:

o Voor statisch en dynamisch onbegrensd geldt: is elkaars tegenpool [door AI gevalideerde module ‘Onbegrensd – Dynamisch vs. Statisch’].

o

o 2.1a Voor dynamisch onbegrensd getal * 0 geldt: = 0.

o 2.2i Voor statisch onbegrensd getal * 0 geldt: ≠ 0 [module ‘Getal nul * Begrensd vs. Onbegrensd getal’].

· Door AI gevalideerd.

1a Voor statisch proces geldt: weerspiegelt onbegrensd getal.

3i Voor stellingpaar 4a, 5i geldt: is niet valideerbaar (dit omdat stelling 5i onwaar is).

4a Voor aantal oneven getallen geldt: is onbegrensd (waar).

5 Voor aantal even getallen geldt: is begrensd (onwaar).

5 Bijlagen.

Geen.