Bemerkung 3.13
Kurs:Einführung in die mathematische Logik (Osnabrück 2016)/Vorlesung 3 Aussagenlogik/Erste Stufe/Identität/Syntaktische Tautologien/Zugehörige Schlussregeln/Bemerkung