Diskrete Mathematik kompakt, 2nd Edition

4 Logik

In den ersten Kapiteln begegneten uns bereits zahlreiche logische Schlüsse, vornehmlich innerhalb von Beweisen. Die dabei verwendeten Argumente arbeiteten mit logischen Verknüpfungen wie „und“, „oder“, „nicht“, „wenn dann“ und „genau dann, wenn“. Das waren beispielsweise Schlüsse der Art dass, wenn das Eine und das Andere gilt, dann auch das Andere und das Eine. Wenn Formeln beteiligt waren, haben wir für „Aus … folgt …“ meist symbolisch als „ … ⇒ …“ geschrieben. Im Abschnitt 4.1 über Aussagenlogik werden die Schlüsse mitdiesen logischen Verknüpfungen ausführlich behandelt. Sie werden formalisiert, ein klares Begriffsgerüst wird geschaffen, und etliche Algorithmen zum Treffen logischer Entscheidungen werden vorgestellt. Dabei geht ...