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