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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access