Argument mapsEdit
Eine Argumentzuordnung ist eine visuelle Darstellung der Struktur eines Arguments in der informellen Logik. Es enthält die Komponenten eines Arguments wie einen Hauptanspruch, Prämissen, Co-Prämissen, Einwände, Widerlegungen und Lemmata. Siehe Kategorie:Argumentkarten
Ein binäres Entscheidungsdiagramm im Bereich der Logik, wie eine Negationsnormalform oder ein aussagengerichteter azyklischer Graph, ist eine Datenstruktur, die zur Darstellung einer Booleschen Funktion verwendet wird. Siehe Kategorie:Binäre Entscheidungsdiagramme
Concept mapsEdit
Eine Concept Map ist ein logisches Diagramm, das die Beziehungen zwischen Konzepten zeigt. Siehe Kategorie:Concept Maps
Konzeptionelle Graphenbearbeiten
Konzeptionelle Graphen geben eine formalisierte Darstellung der natürlichen Sprache basiert auf semantischen Netzwerken und Peirce existenzielle Graphen, siehe Kategorie:Konzeptionelle Graphen
Existential Graph ist eine grafische Darstellung der Aussagenlogik, vorgeschlagen von Charles Sanders Peirce, der 1882 seine erste Arbeit über grafische Logik schrieb und die Methode bis zu seinem Tod 1914 weiterentwickelte. Siehe Kategorie:Existentielle Graphen
Hasse-Diagrammbearbeiten
Ein Hasse-Diagramm ist ein Diagramm in der Ordnungstheorie, das ein einfaches Bild einer endlichen, teilweise geordneten Menge ist und eine Zeichnung der transitiven Reduktion der partiellen Ordnung bildet, siehe Kategorie:Hasse Diagramme
Eine logische Implikation ist in der Logik und Mathematik eine logische Beziehung, die zwischen einer Menge T von Formeln und einer Formel B besteht, wenn jedes Modell oder jede Interpretation oder Bewertung von T auch ein Modell von B ist. Siehe Kategorie:Implikationsdiagramme
Kripke-Modelle sind Diagramme, die für modale Logiken erstellt und später an intuitionistische Logik und andere nicht-klassische Systeme angepasst wurden. Siehe Kategorie:Kripke Modelle
Logic Gatesbearbeiten
Siehe Kategorie:Logikgatter
Porphyrischer Baumbearbeiten
Ein porphyrischer Baum, der vom phönizischen neuplatonischen Philosophen Porphyr (233-309 n. Chr.), ist eine hierarchische Ontologie, Konstruktion in Logik, bestehend aus drei Zeilen oder Spalten von Wörtern, deren middlemost enthält die Reihe von Gattung und Art, und trägt einige Analogie zum Stamm.
Semantisches tableauEdit
Das semantische Tableau ist ein Logikdiagramm, das ein Entscheidungsverfahren für Satz- und verwandte Logiken und ein Beweisverfahren für Formeln der Logik erster Ordnung zeigt. Siehe Kategorie:Semantische Tabellen