Classificatión sistemática de la propriedades lógicas. (Q2624141)

Die Arbeit enthält eine Einführung in die gewöhnliche (d. h. zweiwertige) Aussagenlogik, die ähnlich wie in \textit{Hilbert}-\textit{Bernays}, Grundlagen der Mathematik (1934; JFM 60.0017.*-19), nach der Matrizenmethode, also als inhaltlich-kombinatorische Theorie der Wahrheitsfunktionen entwickelt wird. Es wird ferner eine systematische Zusammenstellung der immer richtigen Aussagenformeln gegeben, die bis zu drei Variablen enthalten. Die Symbolik ist die von \textit{Hilbert}.