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 Bol vs. Kubus.g.

2 Uitgangspunt.

Bol is niét stapelbaar zonder tussenruimte [1].

3 Samenvatting.

3.1 Algemeen.

Niet van toepassing.

3.2 Conclusies.

Kubus is wél stapelbaar zonder tussenruimte [1].

Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een kubus [4].

Lsr ~ md=3D ~ kß is uitsluitend een kubus [5].

Lsr ~ zd=3D ~ ϗg is uitsluitend een kubus [6].

Gsr ~ zd=3D ~ ϗk is uitsluitend een kubus [7].

Zowel het grootst als het kleinst lege is een kubus [8].

Ø In de zin van: Het komt beide voor.

Uitsluitend het kleinst gevulde is een kubus [11].

Gsr ~ md=3D ~ gß is uitsluitend een kubus [12].

Gsr ~ md=3D ~ kß is uitsluitend een bol [13]

4 Onderbouwing.

1 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Bol is niét stapelbaar zonder tussenruimte.

2 Is ook waar:

o Kubus is wél stapelbaar zonder tussenruimte.

3 Conclusie:

o Kubus is wél stapelbaar zonder tussenruimte.

2 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Er is ϗg^3 * lsr ~ md=3D ~ kßy ~ (+én-) ~ ϗ*s als gedeelte van lsr ~ zd=3D ~ ϗg ~ (+én-) ~ ϗ*s [RG - Ontstaan].

2 Is ook waar:

o Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een bol.

Of.

o Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een kubus.

3 Conclusie:

o Er is keuze.

Stel: Het gedeelte van een lsr ~ zd=3D is een bol.

3 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een bol.

o Bol is niét stapelbaar zonder tussenruimte [1 (Als waar is:)].

o Er is niet een ander lsr ~ zd=3D dan lsr ~ zd=3D ~ ϗg [Soorten stukken ruimte].

2 Is ook waar:

o Proposities zijn strijdig met elkaar.

3 Conclusie:

o De stelling: ‘Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een bol’, is onwaar.

4 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o De stelling: ‘Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een bol’, is onwaar [3].

2 Is ook waar:

o De stelling: ‘Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een kubus’, is waar.

3 Conclusie:

o Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een kubus.

5 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Het gedeelte van een lsr ~ zd=3D ~ ϗ*s is een kubus [4].

o Kubus is wél stapelbaar zonder tussenruimte [1].

o Er is ϗg^3 * lsr ~ md=3D ~ kßy ~ (+én-) ~ ϗ*s als gedeelte van lsr ~ zd=3D ~ ϗg ~ (+én-) ~ ϗ*s [2 (Als waar is:)].

o Er is niet een ander lsr ~ md=3D ~ kß dan lsr ~ md=3D ~ kßy ~ (+én-) [Soorten stukken ruimte].

2 Is ook waar:

o Lsr ~ md=3D ~ kß is uitsluitend een kubus.

3 Conclusie:

o Lsr ~ md=3D ~ kß is uitsluitend een kubus.

6 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Lsr ~ md=3D ~ kß is uitsluitend een kubus [5].

o Kubus is wél stapelbaar zonder tussenruimte [1].

o Er is ϗg^3 * lsr ~ md=3D ~ kßy ~ (+én-) ~ ϗ*s als gedeelte van lsr ~ zd=3D ~ ϗg ~ (+én-) ~ ϗ*s [2 (Als waar is:)].

o Er is niet een ander lsr ~ md=3D ~ kß dan lsr ~ md=3D ~ kßy ~ (+én-) [5 (Als waar is:)].

2 Is ook waar:

o Lsr ~ zd=3D ~ ϗg is uitsluitend een kubus.

3 Conclusie:

o Lsr ~ zd=3D ~ ϗg is uitsluitend een kubus.

7 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Lsr ~ zd=3D ~ ϗg is uitsluitend een kubus [6].

2 Is ook waar:

o Gsr ~ zd=3D ~ ϗk is uitsluitend een kubus.

3 Conclusie:

o Gsr ~ zd=3D ~ ϗk is uitsluitend een kubus.

8 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Lsr ~ zd=3D ~ ϗg is uitsluitend een kubus [6].

o Lsr ~ md=3D ~ kß is uitsluitend een kubus [5].

o Er is niet een ander lsr ~ zd=3D dan lsr ~ zd=3D ~ ϗg [3 (Als waar is:)].

2 Is ook waar:

o Zowel het grootst als het kleinst lege is een kubus.

Ø In de zin van: Het komt beide voor.

3 Conclusie:

o Zowel het grootst als het kleinst lege is een kubus.

9 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Zowel het grootst als het kleinst lege is een kubus [8].

Ø In de zin van: Het komt beide voor.

2 Is ook waar:

o Uitsluitend het grootst gevulde is een kubus.

Of.

o Uitsluitend het kleinst gevulde is een kubus.

3 Conclusie:

o Er is keuze.

Stel: Uitsluitend het grootst gevulde is een kubus.

10 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Uitsluitend het grootst gevulde is een kubus.

o Gsr ~ zd=3D ~ ϗk is uitsluitend een kubus [7].

2 Is ook waar:

o Proposities zijn strijdig met elkaar.

3 Conclusie:

o Stelling: ‘Uitsluitend het grootst gevulde is een kubus’, is onwaar.

11 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Stelling: ‘Uitsluitend het grootst gevulde is een kubus’, is onwaar [10].

2 Is ook waar:

o Stelling: ‘Uitsluitend het kleinst gevulde is een kubus’, is waar.

3 Conclusie:

o Uitsluitend het kleinst gevulde is een kubus.

12 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Lsr ~ md=3D ~ kß is uitsluitend een kubus [5].

2 Is ook waar:

o Gsr ~ md=3D ~ gß is uitsluitend een kubus.

3 Conclusie:

o Gsr ~ md=3D ~ gß is uitsluitend een kubus.

13 Zie conclusie.

Is onderbouwd:

1 Als waar is:

o Gsr ~ md=3D ~ gß is uitsluitend een kubus [12].

2 Is ook waar:

o Gsr ~ md=3D ~ kß is uitsluitend een bol.

3 Conclusie:

o Gsr ~ md=3D ~ kß is uitsluitend een bol.

5 Bijlagen.

Afkortingen en symbolen.