Logik

aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg

Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:

Korrektheit: 5
(vollständig überprüft)
Umfang: 1
(zu gering)
Quellenangaben: 5
(vollständig vorhanden)
Quellenarten: 4
(sehr gut)
Konformität: 5
(ausgezeichnet)

Definition (Güntzer, Schmidt, Kempf, Möller)[1]

Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit Aussagen und Folgerungen in einem mathematischn Formalisms, einem Kalkül, zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen.

Quellen

Siehe auch