Logik: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) Die Seite wurde neu angelegt: „{{Qualität |correctness = 5 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 4 |conformance = 5 }} {{In Bearbeitung}} …“ |
Kowa (Diskussion | Beiträge) |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 6: | Zeile 6: | ||
|conformance = 5 | |conformance = 5 | ||
}} | }} | ||
==Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>== | |||
=Quellen= | Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit [[Aussage]]n und [[Folgerung]]en in einem mathematischen Formalisms, einem [[Kalkül]], zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen. | ||
==Quellen== | |||
<references/> | <references/> | ||
=Siehe auch= | ==Siehe auch== | ||
* [[Aussage]] | * [[Aussage]] | ||
* [[Metasprache|Metasprache/Objektsprache]] | * [[Metasprache|Metasprache/Objektsprache]] | ||
* [[Aussagenlogik]] | * [[Aussagenlogik]] | ||
* [[Prädikatenlogik | * [[Prädikatenlogik 1. Stufe]] | ||
* [[Prädikatenlogik | * [[Prädikatenlogik 2. Stufe]] | ||
* [[Kalkül]] | * [[Kalkül]] | ||
[[Kategorie:Logik]] | [[Kategorie:Logik]] | ||
Aktuelle Version vom 23. Mai 2019, 16:03 Uhr
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 mathematischen Formalisms, einem Kalkül, zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen.
Quellen
- ↑ Güntzer, Schmidt, Kempf, Möller (1989): Ulrich Güntzer, Gunther Schmidt, Michael Kempf und Bernhard Möller; Mathematische Logik; Band: TUM-I-8900; Hochschule: Technische Universität München; 1989; Quellengüte: 4 (Skript), Seite 1-2
