Logik

aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Wechseln zu:Navigation, Suche
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur eingeschränkt:
  ★★★★★ Korrektheit: vollständig überprüft
  ★☆☆☆☆ Umfang: zu gering
  ★★★★★ Quellenangaben: vollständig vorhanden
  ★★★★☆ Quellenqualität: sehr gut
  ★★★★★ GlossarWiki-Konformität: ausgezeichnet

1 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.

2 Quellen

3 Siehe auch