argumentum mapsEdit
az Argumentumtérkép az argumentum szerkezetének vizuális ábrázolása az informális logikában. Ez magában foglalja az olyan érvek összetevőit, mint a fő érvelés, premisszák, Társ-premisszák, kifogások, cáfolatok és lemmák. Lásd A Kategóriát:Argumentum térképek
bináris döntési diagramokszerkesztés
a bináris döntési diagramok a logika területén, mint a tagadás normál forma vagy a propozíciós irányított aciklikus gráf, egy adatszerkezet, amelyet egy logikai függvény ábrázolására használnak. Lásd A Kategóriát:Bináris döntési diagramok
Concept mapsEdit
a koncepciótérkép egy logikai diagram, amely bemutatja a fogalmak közötti kapcsolatokat. Lásd Kategória: koncepció térképek
fogalmi gráfokszerkeszt
fogalmi gráfok a természetes nyelv formalizált ábrázolása szemantikai hálózatokon és Peirce egzisztenciális gráfjain alapul, lásd Kategória:Fogalmi grafikonok
az egzisztenciális gráf a propozíciós logika grafikus ábrázolása, amelyet Charles Sanders Peirce javasolt, aki 1882-ben írta meg első könyvét a grafikus logikáról, és 1914-ben bekövetkezett haláláig folytatta a módszer fejlesztését. Lásd A Kategóriát:Egzisztenciális grafikonok
Hasse diagramEdit
A Hasse-diagram a sorrendelmélet diagramja, amely egy véges, részben rendezett halmaz egyszerű képe, amely a részleges sorrend tranzitív redukciójának rajzát képezi, lásd Kategória:Hasse-diagramok
a logikai implikáció a logikában és a matematikában egy logikai összefüggés, amely egy T képlet és egy B képlet között áll fenn, amikor T minden modellje, értelmezése vagy értékelése szintén B modellje. lásd Kategória:Implikációs diagramok
a Kripke modellek modális logikához készült diagramok, amelyeket később az intuíciós logikához és más nem klasszikus rendszerekhez igazítottak. Lásd Kategória: Kripke modellek
Logic gatesEdit
lásd Kategória:Logikai kapuk
porfír faszerkesztés
porfír fa, amelyet a föníciai neoplatonikus filozófus, porfír (KR.U. 233-309.), hierarchikus ontológia, logikai felépítés, amely három sorból vagy oszlopból áll; ennek középső része a nemzetség és a faj sorozatát tartalmazza, és némi analógiát mutat a törzsével.
a szemantikai táblázat egy logikai diagram, amely a sentential és a kapcsolódó logikák döntési eljárását, valamint az elsőrendű logika képleteinek bizonyítási eljárását mutatja. Lásd Kategória: szemantikai táblázatok