Tautologien und Schlussregeln In dem Exkurs über formale Sprachen im letzten Blogbeitrag haben wir schon die Zeichen und allgemeinere Ausdrücke der Aussagenlogik kennen gelernt. Wir haben gesehen, dass es dort spezielle Zeichenketten gibt, so genannte Tautologien, die stets, … 07. Apr 2019 | Von Josef Honerkamp | 37 Kommentare