http://glottopedia.org/index.php?action=history&feed=atom&title=Pr%C3%A4dikatenlogik 2026-04-23T15:05:42Z Revision history for this page on the wiki MediaWiki 1.34.2 http://glottopedia.org/index.php?title=Pr%C3%A4dikatenlogik&diff=6601&oldid=prev 2008-07-16T13:32:05Z

<p>New page: Die Prädikatenlogik behandelt im Gegensatz zur <a href="/index.php/Aussagenlogik" title="Aussagenlogik">Aussagenlogik</a> Aussagen nicht als atomare Einheiten, sondern untersucht auch ihre innere Struktur. == Kommentare == In der Prädikatenl...</p> <p><b>New page</b></p><div>Die Prädikatenlogik behandelt im Gegensatz zur [[Aussagenlogik]] Aussagen nicht als atomare Einheiten, sondern untersucht auch ihre innere Struktur.<br /> <br /> == Kommentare ==<br /> In der Prädikatenlogik ist es erlaubt, allgemeine Aussagen über Individuen und Beziehungen zwischen Individuen zu machen. Dazu verwendet werden neben [[logische Operatoren]], Variablen und Prädikaten auch die beiden [[Quantifikation|Quantoren]] &lt;math&gt;\mathsf \exists&lt;/math&gt; (Existenzquantor) und &lt;math&gt;\mathsf \forall&lt;/math&gt; (Allquantor).<br /> <br /> Statt ''Prädikatenlogik'' findet man oft den Ausdruck ''Prädikatenlogik erster Stufe''. Damit wird betont, dass Variablen nur für Individuen einer Struktur stehen können. In der Prädikatenlogik zweiter Stufe sind (im Gegensatz zur Prädikatenlogik erster Stufe) Aussagen über Objekte höherer Stufe möglich (also nicht nur über individuelle Objekte). So sind zum Beispiel auch Aussagen über Prädikate erlaubt. Anders als die Aussagenlogik ist die Prädikatenlogik nur semi-entscheidbar. Der entscheidbare Teil der Prädikatenlogik wird auch als [[Hornklausel-Logik]] bezeichnet.<br /> <br /> == Herkunft ==<br /> *''lat. praedicare'' - aussagen<br /> *''griech. logike'' - Vernunftlehre<br /> <br /> {{wb}}<br /> [[Category:Semantics]]</div>

Okolowski