Argument mapsEdit
et Argumentkort er en visuel repræsentation af strukturen af et argument i uformel logik. Det inkluderer komponenterne i et argument såsom en hovedkonflikt, lokaler, samlokaler, indvendinger, tilbagevisninger og lemmaer. Se Kategori:Argumentkort
binær beslutningsdiagramredit
en binær beslutningsdiagrammer inden for logik, som en negation normal form eller en propositionel rettet acyklisk graf, er en datastruktur, der bruges til at repræsentere en boolsk funktion. Se Kategori:Binære beslutningsdiagrammer
Concept mapsEdit
et Konceptkort er et logikdiagram, der viser forholdet mellem begreber. Se Kategori: Konceptkort
konceptuelle graferredit
konceptuelle grafer giver en formaliseret repræsentation af naturligt sprog er baseret på semantiske netværk og Peirces eksistentielle grafer, se Kategori:Konceptuelle grafer
eksistentiel grafredit
eksistentiel graf er en grafisk repræsentation af propositionel logik, foreslået af Charles Sanders Peirce, der skrev sit første papir om grafisk logik i 1882 og fortsatte med at udvikle metoden indtil sin død i 1914. Se Kategori:Eksistentielle grafer
Hasse diagramEdit
et Hasse-diagram er et diagram i ordreteorien, som er et simpelt billede af et endeligt delvist ordnet sæt, der danner en tegning af den transitive reduktion af den delvise rækkefølge, Se Kategori:Hasse diagrammer
Implikationsdiagramredit
en logisk implikation i logik og matematik er en logisk relation, der holder mellem et sæt t af formler og en formel B, når hver model eller fortolkning eller værdiansættelse af T også er en model af B. Se Kategori:Implikationsdiagrammer
Kripke modelsEdit
Kripke modeller er diagrammer lavet til modalogik og senere tilpasset intuitionistisk logik og andre ikke-klassiske systemer. Se Kategori:Kripke modeller
Logic gatesEdit
se Kategori:Logic gates
Porfyrisk trærediger
et Porfyrisk træ, skabt af den fønikiske neoplatoniske filosof porfyr (233-309 e.kr.), er en hierarkisk ontologi, konstruktion i logik bestående af tre rækker eller kolonner med ord; den midterste hvoraf indeholder serien af Slægt og arter og bærer en vis analogi til bagagerummet.
semantisk tableauEdit
det semantiske tableau er et logikdiagram, der viser en beslutningsprocedure for sententiel og relateret logik og en bevisprocedure for formler for førsteordens logik. Se Kategori: semantiske tabeller