Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth.pdf

Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth

Christian Fenske

Die vorliegende Schrift ist eine - teilweise verbesserte und umgearbeitete - Fassung einer Arbeit, die aus einem Seminar tiber die Anwendungsmoglichkeiten der Programrniersprache COMIT bei Herrn Professor UNGER hervorging. Herrn Professor UNGER und Herrn Professor HASENJAEGER, der mich in den Problem­ kreis der maschinellen Beweisverfahren eingefuhrt und speziell auf die Moglich­ keit hingewiesen hat, den Bethschen Vollstandigkeitsbeweis fur ein solches Ver­ fahren nutzbar zu machen, gilt mein besonderer Dank. Herrn Professor HASEN­ JAEGER verdanke ich auch den Hinweis auf die (in 3.5 behandelte) Version des Bethschen Satzes fur praenexe N ormalform. In dieser Arbeit stellen wir ein neues Beweisprogramm fur die Praedikatenlogik dar, das »im Prinzip« in der Lage ist, jeden wahren Satz der Praedikatenlogik auch zu beweisen. Grundlage dieses Programmes ist der Vollstandigkeitsbeweis von BETH [1], den wir auch fiir zahlreiche Beweise heranziehen werden. Grundsatzlich solI diese Arbeit ohne Vorkenntnisse aus der Logik verstandlich sein

Thomas Schwentick Der Vollständigkeitssatz der Prädikatenlogik • Der Satz gilt auch für die Prädikatenlogik mit Gleichheit, der Beweis ist aber komplizierter Logik für Inf. / Schwentick / WiSe 07/08 B: Prädikatenlogik - 6.Eigenschaften Folie 2. Der Endlichkeitssatz der Prädikatenlogik Satz 6.2 [Endlichkeitssatz] Eine unendliche Menge F von PL-Formeln ist genau dann erfüllbar, wenn jede endliche

5.86 MB DATEIGRÖSSE
9783322961181 ISBN
Kostenlos PREIS
Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im www.futblog.at Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofya Voigtuh

Gekürzter, übersetzter Nachdruck von Beth 1955 ab S. 262; Sekundärliteratur. Ansgar Beckermann: Einführung in die Logik. 3. Auflage. De Gruyter, Berlin 2010, ISBN 978-3-11-025434-1. In dieser Einführung wird ein Baumkalkül für Aussagen- und Prädikatenlogik von Grund auf und auf einem für Anfänger verständlichen Niveau entwickelt. Die Stadt Bether im hadrianisch-jüdischen kriege ...

avatar
Mattio Müllers

Beweisprogramme für die Prädikatenlogik und …

avatar
Noels Schulzen

Beweisprogramme für die Prädikatenlogik und der ...

avatar
Jason Leghmann

Über die diametrale Dimension von lokalkonvexen Räumen. Article. Jan 1969. Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth. Prädikatenlogik erster Stufe und der Gödelsche Vollständigkeitssatz. Martin Goldstern. 20. August 2006. Die mathematische Logik nimmt in der Mathematik eine ...

avatar
Jessica Kolhmann

Untersuchungen über den Harnstoff-Stoffwechsel im Myokard, den Lungen und den Kiemen Gewinnung reiner Arginase unter Anwendung von Ionenaustauschern von Fritz Menne - Buch aus der Kategorie Allgemeines & Lexika günstig und portofrei bestellen im Online Shop von Ex Libris. Er zeigt für den Hilbert-Kalkül (ein formales System der Prädikatenlogik erster Stufe) die Korrektheit und Vollständigkeit: Jeder Satz, der semantisch aus einer ...