Sur les types des propositions composées. (Q2585735)

Es handelt sich um ein kombinatorisches Problem der formalen Logik, das auf \textit{W. S. Jevons} zurückgeht ( Jevons, The principles of science, 2. ed. 1892, 134-146). Es findet sich für \(n = 1, \,2, \,3, \,4\) behandelt bei \textit{Clifford} (Math. papers, London 1882, p. 1-16). Eine ausführliche Darstellung mit geometrischer Interpretation gibt \textit{E. Schröder}, Vorlesungen über die Algebra der Logik I (1890; F.~d.~M. 22, 73), Anh. 6. Das Problem ist in einem allgemeineren kombinatorischen enthalten, das ebenfalls Verf. behandelt hat (Z. Kristallographie, Mineralode, Petrographie, A 93 (1936), 415-443 und Acta math., Uppsala, 68 (1937), 145-254; F.~d.~M. 62\(_{\text{II}}\), 1070 und 63\(_{\text{I}}\), 547). Aus \(n\) Grundaussagen lassen sich \(2^{(2^n)}\) wesentlich verschiedene zusammengesetzte Aussagen bilden. Diejenigen, die durch Vertauschung der Grundaussagen oder ihre Negierung hervorgehen, faßt man zu einem Typus zusammen. Die möglichen Vertauschungen bilden eine Gruppe der Ordnung \(n!2^n\). Sie kann auch als eine Permutationsgruppe des Grades \(2^n\) betrachtet werden (Deutung an der Gruppe eines \(n\)-dimensionalen Würfels). Es wird die Frage nach der Zahl \(T_n\) der verschiedenen Typen aufgeworfen. Weiter wird gefragt nach der Zahl \(N_n^{(s)}\) der verschiedenen Typen von Aussagen, die zusammengesetzt sind aus \(n\) gegebenen Aussagen, wobei die zusammengesetzten Aussagen so sind, daß sie in \(s\) Situationen wahr sind. Man hat \[ T_n=N_n^{(0)}+N_n^{(1)}+N_n^{(2)}+\cdots+N_n^{(2^n)}. \] Zur Bestimmung der Größen \(N\) wird ein Polynom aufgestellt, dessen Koeffizienten die Anzahlen liefern. Für \(n = 2\) wird die Betrachtung durchgeführt, für \(n = 3\) und \(n = 4\) gibt Verf. die Funktionen und die errechneten Anzahlen an. Für jedes beliebige \(n\) ist die Aufgabe grundsätzlich, wenn auch mit Geduld, lösbar. Sie erfordert die Bestimmung der Substitutionen bei der genannten Gruppe und ihre Zerlegung in Zyklen. Das Problem läßt sich auch auf eine mehrwertige Logik ausdehnen.