Cursus / training:

Methode voor Logische Analyse


Principes van Formele logica .



Combinatorische explosie in Logische systemen



Combinatorische explosie in PPL.
Parameters Combinatorische waarden
(1)

Val


Waarheids- waarden (valentie)
(2)

Atm


Unieke items (atomen)
(3)

Row


Patroon lengte (tekens)
(4)

Col


Logische relaties (formules)
(5)

Tup


Combinaties van 2 formules
(6)

Imp


Valide implicaties (aantal)
(7)

ImpPpt


Valide implicaties (ppt.)
3
1
3.000000000000
·(10 0 [ 0])
2.700000000000
·(10 001 [ 1])
7.290000000000
·(10 002 [ 1])
6.400000000000
·(10 001 [ 1])
9.481481481481
·(10 -002 [ 1])
3
2
9.000000000000
·(10 0 [ 0])
1.968300000000
·(10 004 [ 1])
3.874204890000
·(10 008 [ 1])
2.621440000000
·(10 005 [ 1])
6.767082452802
·(10 -004 [ 1])
3
3
2.700000000000
·(10 001 [ 1])
7.625597484987
·(10 012 [ 2])
5.814973700304
·(10 025 [ 2])
1.801439850948
·(10 016 [ 2])
3.097932929352
·(10 -010 [ 2])
3
4
8.100000000000
·(10 001 [ 1])
4.434264882430
·(10 038 [ 2])
1.966270504756
·(10 077 [ 2])
5.846006549324
·(10 048 [ 2])
2.973144608122
·(10 -029 [ 2])
3
5
2.430000000000
·(10 002 [ 1])
8.718964248596
·(10 115 [ 3])
7.602033756830
·(10 231 [ 3])
1.997919072202
·(10 146 [ 3])
2.628137595952
·(10 -086 [ 2])
3
6
7.290000000000
·(10 002 [ 1])
6.628186054242
·(10 347 [ 3])
4.393285036965
·(10 695 [ 3])
7.975054838979
·(10 438 [ 3])
1.815282817272
·(10 -257 [ 3])
3
7
2.187000000000
·(10 003 [ 1])
2.911951061431
·(10 001 043 [ 4])
8.479458984170
·(10 002 086 [ 4])
5.072254478269
·(10 001 316 [ 4])
5.981813801728
·(10 -771 [ 3])
3
8
6.560999999999
·(10 003 [ 1])
8.230589863119
·(10 003 129 [ 4])
6.774260949487
·(10 006 259 [ 4])
3.262444343355
·(10 003 949 [ 4])
4.815941351657
·(10 -002 311 [ 4])
3
9
1.968300000000
·(10 004 [ 1])
1.505416414526
·(10 009 391 [ 4])
2.266278581124
·(10 018 782 [ 5])
2.222333885358
·(10 011 850 [ 5])
9.806093142599
·(10 -006 933 [ 4])
3
10
5.904899999997
·(10 004 [ 1])
1.137230991969
·(10 028 173 [ 5])
1.293294329094
·(10 056 346 [ 5])
2.743897812917
·(10 035 550 [ 5])
2.121634457981
·(10 -020 796 [ 5])
3
100
5.153775207320
·(10 047 [ 2])
1.000000000000
·(10 245 897 569 345 960 703 044 002 980 000 000 000 000 000 000 000 [ 48])
1.000000000000
·(10 491 795 138 691 921 406 088 005 960 000 000 000 000 000 000 000 [ 48])
1.000000000000
·(10 310 288 185 662 534 702 008 806 484 800 000 000 000 000 000 000 [ 48])
1.000000000000
·(10 -181 506 953 029 386 704 079 199 475 200 000 000 000 000 000 000 [ 48])
3
1000
1.322070819481
·(10 477 [ 3])
1.000000000000
·(10 630 788 088 219 027 140 200 805 040 500 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 477])
1.000000000000
·(10 001 261 576 176 438 054 280 401 610 081 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 478])
1.000000000000
·(10 795 965 946 111 683 002 698 905 000 400 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 477])
1.000000000000
·(10 -465 610 230 326 371 277 702 705 080 600 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 [ 477])

C.P. van der Velde © 2007.