Argument mapsEdit
Argument mapa je vizuální znázornění struktury argument v neformální logiky. Zahrnuje složky argumentu, jako je hlavní tvrzení, prostory, společné prostory, námitky, vyvrácení a lemmata. Viz Kategorie:Argument mapy
Binární rozhodnutí diagramsEdit
Binární rozhodovací diagramy v oblasti logiky, jako negační normální formě nebo výroková namířených acyklických grafů, je datová struktura, která se používá k reprezentaci Booleovských funkcí. Viz Kategorie:Binární rozhodovací diagramy
Koncept mapsEdit
koncept mapa je logický diagram znázorňující vztahy mezi pojmy. Viz Kategorie:Koncepce mapy
Koncepční graphsEdit
Konceptuální grafy dát formalizované reprezentace přirozeného jazyka je založeno na sémantických sítí a Peirce je existenční grafy, viz Kategorie:Konceptuální grafy
Existenciální graphEdit
Existenciální graf je grafické znázornění výrokové logiky, navržené Charles Sanders Peirce, který napsal svou první knihu o grafické logiku v roce 1882 a nadále rozvíjet metody až do své smrti v roce 1914. Viz Kategorie:Existenční grafy
Hasse diagramEdit
Hasse diagram je diagram, v pořadí, teorie, což je jednoduchý obrázek konečná částečně uspořádaná množina, tvoří výkres tranzitivní redukce z dílčích pořadí, viz Kategorie:Hasseho diagramy
Důsledky diagramsEdit
logické důsledky, v logice a matematice, je logické souvislosti, které drží mezi množinu T formulí a formule B, když každý model nebo výkladu nebo ocenění T je také modelem B. Viz Kategorie:Důsledky diagramy
Kripke modelsEdit
Kripke modely jsou diagramy vyrobené pro modální logiky, a později adaptovaný do intuitionistic logika a jiné non-klasické systémy. Viz Kategorie:Kripke modely
Logika gatesEdit
Viz Kategorie:Logická hradla
Porphyrian treeEdit
Porphyrian strom, vytvořený Fénické Neoplatonic filozofa Porfyria (233-309 AD.), je hierarchická ontologie, konstrukce v logice sestávající ze tří řádků nebo sloupců slov; prostřední část obsahuje řadu rodů a druhů a nese určitou analogii s kmenem.
Sémantické tableauEdit
sémantické tablo je logický diagram, který ukazuje postup pro rozsudkový a související logiky, a důkaz, postup pro formulí prvního řádu logika. Viz Kategorie:Sémantické tabulky