Argument mapsEdit
o hartă Argument este o reprezentare vizuală a structurii unui argument în logica informală. Acesta include componentele unui argument, cum ar fi o dispută principală, premise, co-premise, obiecții, respingeri și Leme. Vezi Categoria:Argument hărți
diagrame de decizie Binarăedit
o diagramă de decizie binară în domeniul logicii, ca o formă normală de negare sau un grafic aciclic direcționat propozițional, este o structură de date care este utilizată pentru a reprezenta o funcție booleană. Vezi Categoria:Diagrame de decizie binare
Concept mapsEdit
o hartă conceptuală este o diagramă logică care arată relațiile dintre concepte. Vezi categoria: hărți conceptuale
grafuri Conceptualeedit
grafurile conceptuale oferă o reprezentare formalizată a limbajului natural se bazează pe rețele semantice și pe graficele existențiale ale lui Peirce, vezi Categorie:Grafice conceptuale
Grafic Existențialedit
graficul existențial este o reprezentare grafică a logicii propoziționale, propusă de Charles Sanders Peirce, care a scris prima sa lucrare despre logica grafică în 1882 și a continuat să dezvolte metoda până la moartea sa în 1914. Vezi Categoria:Grafice existențiale
Hasse diagramEdit
o diagramă Hasse este o diagramă în teoria ordinii, care este o imagine simplă a unui set finit parțial ordonat, formând un desen al reducerii tranzitive a ordinii parțiale, vezi Categorie:Diagrame Hasse
o implicație logică, în logică și matematică, este o relație logică care se menține între o mulțime T de formule și o formulă B atunci când fiecare model sau interpretare sau evaluare a lui T este, de asemenea, un model de B. vezi Categorie:Diagrame de implicare
modelele Kripkeedit
modelele Kripke sunt diagrame realizate pentru logica modală și ulterior adaptate logicii intuiționiste și altor sisteme non-clasice. Vezi Categoria: modele Kripke
logic gatesEdit
vezi categoria:Porți logice
copac Porfirian
un copac Porfirian, creat de filosoful fenician Neoplatonic Porfir (233-309 D.hr.), este o ontologie ierarhică, construcție în logică constând din trei rânduri sau coloane de cuvinte; cel mai intermediar din care conține seria de gen și specii și poartă o oarecare analogie cu trunchiul.
tablou Semanticedit
tabloul semantic este o diagramă logică, care arată o procedură de decizie pentru logica sentențială și conexă și o procedură de probă pentru formulele logicii de ordinul întâi. Vezi categoria: tabele semantice