Logik und Logische Programmierung Einführung

Logik: Wikipedia!Logik (griechisch ἡ λογική (τέχνη) he logiké téchne „die denkende[Kunst, Vorgehensweise]) ist die Lehre des vernünftigen (Schluss-)Folgerns.Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrerStruktur unabhängig vom konkreten Inhalt der eigentlichenAussagen. In diesem Sinne spricht man auch von „formaler Logik.Die Logik ist sowohl ein Teilgebiet der Philosophie als auch derMathematik und der Informatik.Seit dem 20. Jahrhundert versteht man unter Logik überwiegendsymbolische Logik. Diese baut auf einer künstlichen Sprache auf undverwendet streng definierte Schlussregeln. Ein einfaches Beispiel fürein solches formales System ist die Aussagenlogik. Die symbolischeLogik nennt man auch mathematische Logik oder formale Logik imengeren Sinn. Die Logik hatte nicht immer eine in diesem Sinnformale Struktur, sondern befasste sich in der Antike und imMittelalter überwiegend mit natürlichsprachlichen Argumenten.