Prädikatenlogik

  • 91Syllogistik — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …

    Deutsch Wikipedia

  • 92Verneinungstechnische Normalform — Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können. Sie wird unter anderem als Vorstufe zur Skolemform benötigt. Eine Aussage in der Prädikatenlogik erster Stufe befindet sich in Pränexform …

    Deutsch Wikipedia

  • 93Wissensrepräsentation mit Logik — ist eine Art der Wissensrepräsentation, die auf formaler Logik basiert. Zum Aufbau wissensbasierter Systeme müssen Objekte der realen Welt in einer Sprache repräsentiert werden, die ein Computer versteht, damit er mit diesem Wissen umgehen kann.… …

    Deutsch Wikipedia

  • 94Geschichte der Logik — Die Geschichte der Logik behandelt die Logik als Ganzes in ihrer Entstehung und Entwicklung zur formalen Logik, wobei auch andere Entwicklungen berücksichtigt werden. Die europäisch westliche Logik hat ihren Anfang im antiken Griechenland.… …

    Deutsch Wikipedia

  • 95Alloperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …

    Deutsch Wikipedia

  • 96Allquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …

    Deutsch Wikipedia

  • 97Allsatz — Eine Allaussage ist eine Aussage über alle Elemente eines bestimmten Gegenstandsbereichs,[1] zum Beispiel die Aussage „Alle Menschen sind sterblich.“ Synonym werden modern Bezeichnungen wie Universalaussage, universale Aussage, universelle… …

    Deutsch Wikipedia

  • 98Antezedens und Sukzedens — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… …

    Deutsch Wikipedia

  • 99Artificial Intelligence — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Künstliche Inte …

    Deutsch Wikipedia

  • 100Artificial intelligence — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Künstliche Inte …

    Deutsch Wikipedia