Und ist dies nicht auch die Art der Allgemeinheit der Tautologien der Logik, die für p, q, r etc. demonstriert werden?