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