Cursus / training:
Methode voor
Logische Analyse
Principes van
Formele logica
.
Combinatorische explosie
in Logische systemen
Inhoudsopgave
3.
Syntactische expansie
.
3.1.
Hoofdvormen van redenering.
(1)
Redeneervormen met
symmetrisch
hoofdconnectief:
constellaties
.
(2)
Redeneervormen met
asymmetrisch
hoofdconnectief: afleidingen (
derivaties
).
3.2.
Bouwstenen (atomen).
3.2.1.
Formules.
3.2.2.
Redeneervormen.
3.3.
Samenhang (structuur).
(1)
Inbeddingen (nestingvariaties).
(2)
Expliciet weergeven van de inbeddingen.
(3)
Opdelingen van de deelverzamelingen in
subgroepen
.
(4)
Minimale verzameling geneste structuren.
4.
Syntactische variatie bij
symmetrische
(meerplaatsige) connectieven.
(4.1)
Structuurvariatie
bij symmetrische (meerplaatsige) connectieven.
(4.2)
Valentievariatie
bij symmetrische (meerplaatsige) connectieven.
(4.3)
Volgordevariatie
bij symmetrische (meerplaatsige) connectieven.
(4.4)
Connectiefvariatie
bij symmetrische (meerplaatsige) connectieven.
(4.5)
Deelverzamelingen per lengte
bij symmetrische (meerplaatsige) connectieven.
(4.6)
Varianten in
alle deelverzamelingen
.
5.
Syntactische variatie bij
symmetrische
connectieven - tot
diepteniveau twee
.
(5.1)
Structuurvariatie
bij symmetrische connectieven, tot diepteniveau twee.
(5.2)
Valentiervariatie
bij symmetrische connectieven, tot diepteniveau twee.
(5.3)
Volgordevariatie
bij symmetrische connectieven, tot diepteniveau twee.
(5.4)
Connectiefvariatie
bij symmetrische connectieven, tot diepteniveau twee.
(5.5)
Deelverzamelingen per lengte
bij symmetrische connectieven, tot diepteniveau twee.
(5.6)
Varianten in
alle deelverzamelingen
.
6.
Syntactische variatie bij
asymmetrische
(
binaire
) connectieven.
(6.1)
Structuurvariatie bij
asymmetrische
(binaire) connectieven.
(6.2)
Valentievariatie
bij asymmetrische (binaire) connectieven.
(6.3)
Volgordevariatie
bij asymmetrische (binaire) connectieven.
(6.4)
Connectiefvariatie
bij asymmetrische (binaire) connectieven.
(6.5)
Deelverzamelingen per lengte
bij asymmetrische ( binaire) connectieven.
(6.6)
Varianten in
alle deelverzamelingen
.
7.
Conclusie
aangaande syntactische expansie.
C.P. van der Velde © 2014, 2018.