Argument mapsEdit
en Argumentkarta är en visuell representation av strukturen för ett argument i informell logik. Det innehåller komponenterna i ett argument som en huvudstrid, lokaler, samlokaler, invändningar, motbevisningar och lemmas. Se Kategori:Argument kartor
ett binärt beslutsdiagram inom logikområdet, som en negation normalform eller en propositionell riktad acyklisk graf, är en datastruktur som används för att representera en boolesk funktion. Se Kategori:Binära beslutsdiagram
en Konceptkarta är ett logikdiagram som visar förhållandet mellan begrepp . Se Kategori: konceptkartor
konceptuella grafer ger en formaliserad representation av naturligt språk baseras på semantiska nätverk och peirces existentiella grafer, se Kategori:Konceptuella grafer
Existential graphEdit
Existential graph är en grafisk representation av propositionell logik, föreslagen av Charles Sanders Peirce, som skrev sin första uppsats om grafisk logik 1882 och fortsatte att utveckla metoden fram till sin död 1914. Se Kategori:Existentiella grafer
Hasse diagramredigera
ett Hasse-diagram är ett diagram i ordningsteorin, som är en enkel bild av en ändlig delvis ordnad uppsättning, som bildar en ritning av den transitiva reduktionen av den partiella ordningen, se Kategori:Hasse diagram
en logisk implikation, i logik och matematik, är en logisk relation som håller mellan en uppsättning T formler och en formel B när varje modell eller tolkning eller värdering av T är också en modell av B. Se Kategori:Implikationsdiagram
Kripke modelsEdit
Kripke modeller är Diagram gjorda för modal logik, och senare anpassade till intuitionistisk logik och andra icke-klassiska system. Se Kategori: Kripke modeller
Logic gatesEdit
se Kategori:Logiska grindar
Porfyriska trädredigera
ett Porfyriskt träd, skapat av den feniciska Neoplatoniska filosofen porfyr (233-309 e.Kr.), är en hierarkisk ontologi, konstruktion i logik bestående av tre rader eller kolumner med ord; den mittersta varav innehåller serien av släkte och arter, och bär en viss analogi med stammen.
semantisk tabellauedit
den semantiska tablån är ett logikdiagram, som visar ett beslutsförfarande för sentential och relaterade logiker, och ett bevisförfarande för formler av första ordningens logik. Kategori: semantiska tabeller